>>288
ZFには集合でないものが存在するんじゃないの。
真のクラスとか。
例えば{x∊z|x∉x}とか{x|x=x}とか{x|xは順序数の全体}...。
万物を集合とするのはむしろ素朴集合論の方じゃない？