21/10/24 11:53:51.98 ljh0ogmi.net
>>507
>止めを刺すよ
自分にかい？お🐒のセタ君ｗ
>>508
>ワケワカでグダグダの恥さらし
お🐒のセタ君に読解力がないだけでしょｗ
unrestricted comprehension axiom （＝内包公理）
∃x∀y(y∈x⇔Ａ(y)) つまり {x|A(x)}が存在する
restricted comprehension axiom （＝分出公理）
∃x∀y(y∈x⇔(y∈a∧Ａ(y))) つまり {x∈a|A(x)}が存在する
はじめからそう書いている お🐒のセタ君が知らなかっただけ
いまわかっただろ？
やれ一階だ二階とかいうのが全然見当違いだったってことが
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!