>>379
>>２．”ｘを定義した”として、もし、矛盾を生じるなら、ｘは存在しえない
>証明よろしく

おサルは、頭腐ってんのか？

基礎の公理が禁止している集合は
例えば、
１）x ∈ｘ
とか
２）・・∈xn∈・・∈x2∈x1∈x0
とかが
その例だよ？

で、基礎の公理が存在するＺＦＣの体系中では
おサルが勝手に
ある集合ｘで、「x ∈ｘ」という性質を持つ集合ｘが存在すると定義するとかさ
ある無限降下列「・・∈xn∈・・∈x2∈x1∈x0」が存在すると定義するとかさ
そういう議論は、基礎の公理が存在するＺＦＣの体系中では御法度だよ（禁止されている）
もちろん、基礎の公理が存在しない公理体系を作って、その中で議論するのは可だがね

証明とかそういうレベルじゃないよ
常識だよ。中学生でも分かるよな、これはｗｗｗ（＾＾