スレ主は誤読しているようだが、

>しかし、自然数は無限個あり、
>ある無限より、大きい自然数は、
>存在し、何が何でも無限個存在させる。

この「自然数は無限個ある」
という考えが無限公理であり、
Ω星人は無限公理を否定しているのである(笑

いや、Ω星人がどういう意味で書いているかは不明だが、
そういう意味で書いていると信じたい(笑