>>575 補足

なお、順序数ωの数直線におけるモデルは、
 >>563で示した。なお>>568もご参照
以上

正則性公理?
Zermelo 構成がだめだと?w
だったら、ノイマン 構成もダメになるぞ
それは矛盾であるww(^^;