>>313
ピエロ必死（＾＾

>＞１．「あらゆる自然数より大きい自然数が存在する」は、
>＞拡大実数ないし、超実数で実現できる。
>
>それペアノの公理の否定だからｗ

バカじゃね？　この小学生
ペアノの公理の拡張だろ？（＾＾

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

「無限公理」は否定されないよ
当然「無限公理」と矛盾しないように、拡大実数ないし、超実数は定義されるべき（＾＾

（参考）
http://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H29-isono.pdf
超準解析入門 −超実数と無限大の数学− 磯野優介 数学入門公開講座 RIMS, Kyoto University 2017
(抜粋)
概要
「無限に大きい数」は存在しません．どんな数を持ってきても，それに1 を足せば，
より大きな数が出来るからです．同様に「無限に小さい数」も存在しません．このよう
な無限数は，数学的に厳密に定義出来ないにもかかわらず，古くから研究に用いられて
きました（いわゆる「無限小解析」）．その後19 世紀に入り，厳密さを備えた"- 論法
が登場し，無限小解析は歴史から姿を消します．
超準解析とは，「無限に大きい，小さい数」を，数学として厳密に定式化し，取り扱
う学問です．この枠組みでは，無限数を用いた計算や証明が可能で，現代数学を用いた
無限小解析の再現とも言えます．この講義では，そのような無限数を含む「超実数」を
構成し，それを用いて解析学の基礎的な定理を実際に証明してみようと思います．
(引用終り)