>>455
>それ、超準解析とか、完全否定してるけど
>無限小実数とか無限大実数は
>実数論の公理から存在が証明できないので

すごく混乱している
中高生も来るので 厳しく赤ペンする

１）超準解析は、下記 磯野優介とか見てね
２）これは 下記 超実数（ hyperreal number）で 無限大と無限小を含む
　別に 拡大実数 通常の実数に正の無限大 +∞ と負の無限大 −∞ の2つを加えた体系（リーマン球面は無限大は一つ 複素数で+も-も同じ）
３）これZFCの中だろ？ しらんけど 磯野優介先生に聞いてみなよｗ（＾＾
　（少なくとも 拡大実数 +∞までは ZFCの中で あとは 無限小を ZFCでどう料理するかだけでしょｗ）
４）”実数論の公理”？ 筆が滑ったか？
　実数論は ZFCの中だから 公理ではなく定理ぞｗ
　これ解らないなら 小学校からやりなおしだな（＾＾

(参考)
https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H29-isono.pdf
超準解析入門−超実数と無限大の数学
磯野優介∗
京都大学数理解析研究所特定助教
平成29年度(第39回)数学入門公開講座テキスト(京都大学数理解析研究所，平成29年7月31日〜8月3日
概要
「無限に大きい数」は存在しません．どんな数を持ってきても，それに1を足せば，より大きな数が出来るからです．同様に「無限に小さい数」も存在しません．このような無限数は，数学的に厳密に定義出来ないにもかかわらず，古くから研究に用いられてきました（いわゆる「無限小解析」）．その後19世紀に入り，厳密さを備えたε-δ論法が登場し，無限小解析は歴史から姿を消します．超準解析とは，「無限に大きい，小さい数」を，数学として厳密に定式化し，取り扱う学問です．この枠組みでは，無限数を用いた計算や証明が可能で，現代数学を用いた無限小解析の再現とも言えます．この講義では，そのような無限数を含む「超実数」を構成し，それを用いて解析学の基礎的な定理を実際に証明してみようと思います．

https://researchmap.jp/yisono
磯野 優介
経歴 6
2021年1月 - 現在京都大学, 数理解析研究所 応用数理研究部門, 准教授
2016年10月 - 2020年12月京都大学, 数理解析研究所, 特定助教

つづく