無限公理の無い集合論を考える

最初の無限基数をωと記す

任意の自然数ｎについて　ｎ＜ω　ならば　ｎ＋１＜ω　である

だから無限公理の無い集合論では、ωは順序数ではない、そう証明できる
というならそいつは馬鹿というしかない

もし、そんな証明ができるのならば、無限公理から矛盾が示せる（笑）