>>141
ふっふ、ほっほ
踏みつけたゴキブリが、まだ動いているなｗ　；ｐ）

>∩は使っちゃダメ？　分出公理を使っちゃダメと言ってる？　ZF上では使えるから言いがかりだよ

いいかな、公理的集合論において、記号∩ は 他の公理から組み立てられなくてはならない
そして >>121にも記したが
『特に今回は”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104
　を、ZFCの公理を使って、これが 無限集合のN：＝{0,1,2,・・・} であることを示してねｗｗ ；ｐ）』
ってこと

公理的集合論なのだからね　；ｐ）
式 ”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104 は
純粋にZFCの公理のみ から導かれなければならない
それでなければ、”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”は
ZFCの公理系では 認めることはできません！
さあ さあ さあ やってくださいね！！ｗｗｗ