>>417
「クラシフィケーション公理」つまり、
任意の集合に対する命題に対して、それを真とする全体によるクラスが存在する。
ＺＦＣのどこから出てくるのでしょう？
これによればクラスＡで{}、{{}}、{{},{{}}}、･･･ 以外の集合全体というのが存在することになるが？
ほかにもnot{}も{{},{{}}}のように表せると？

それともＺＦＣ⇔ＢＧが間違っているのですか？