>>皆φ＝{}から出来る。
>というのは信じがたい。

残念だが、事実だ（ｗ

>おそらく公理の一つに任意の命題に対して
>それを真とする集合の存在があると思う。
それ以前に、もともと対象として
{}、{{}}、{{},{{}}}、･･･
のようなものしか考えていないということ。

>> ぶっちゃけ有限集合論に出てくる集合は
>>{と}と,だけで全部あらわせる。
> まあ、有限集合に関してはそのとおりだろう。
無限集合でも大してかわらない。
ただ、要素を全部列挙して書くことができないから
遠慮したまで。
ああ、そうそう、{}のネストは有限。
正則性公理とはそういうこと。理解してたかい？