>>293
>1.「あらゆる自然数より大きい自然数が存在する」は、
>拡大実数ないし、超実数で実現できる。

それペアノの公理の否定だからw

>>1は「箱入り無数目」を否定するために「無限公理」を否定したいらしい

まあ、そうしたいならすればいいが、
お前の「宗教」に帰依する物好きは
ヤフ爺くらいだろうなw