>>113
何を言い出すかと思えばまったくトンチンカンなことをｗ

>ZFCが urelement（下記）を持たない 集合論であることは、しばしば 看過される
誰も看過も否定もしてなくて草
ZFにおいてurelementの規定も無ければ存在公理も無いんだから当たり前じゃん　存在公理が無くてどうやって存在を証明すんだよｗ

そもそもurelementが問題となる話題なんてぜんぜんしてないのに突然urelementを持ち出すのがまったくトンチンカン
君、頭だいじょうぶ？

>"集合論の公理系の一番最初の公理は，すべての集合はその要素の全体から
>一意に決まることを主張する次のものである：
>（外延性公理）略．
>ZFC の他の公理は，すべて，「集合 x1, x2, . . . が与えられたとき，これらか
>ら ... という性質を持つ集合を作ることができる」というタイプの主張（存在公理）となっている．
はい、大間違い。
反例：正則性公理、選択公理

君、集合論全然分かってないね。ズタボロだね。