>>356,359
ZFCにおいては、空集合公理で定義されている空集合{ }に、
他の各種公理で定義されている対集合、和集合、冪集合等の集合演算を
有限回あるいは超限回施すごとで得られるものだけに限られる

> 言葉を使って定義としていっても
> 最後は無定義になる
最後は定義された{ }だ