>>681
>最初の超限順序数であるωには、直前の順序数ωー1は存在しません
>一方、０以外のいかなる自然数ｎも、ｎ−１が存在します
>ｎが超準自然数であっても同様です

スレチだが少しだけ
ｎが超準自然数であっても、∞−1は定義に依存するよ（下記）
つまりは、ωや∞は、人が数学的に定義したもの

一方、”標準的な自然数1,2,3,・・・”は、日常の人の生活に合うように定義したもの（今風なら”カノニカル”だな）
つまり、日常の人の生活に合わない自然数の定義は、（数学としては）あり得ても、それは（日常の数学としては）採用されないってことだ

その点、∞には、定義の自由度ある
また、順序数ω−1が存在しなくても（数学として定義不能でも）、なんにも数学的不都合はないよ（＾＾；

（参考）
https://ja.wikipedia.org/wiki/%E6%8B%A1%E5%A4%A7%E5%AE%9F%E6%95%B0
拡大実数
拡張実数あるいはより精確にアフィン拡張実数 は、通常の実数に正の無限大 +∞ と負の無限大 ?∞ の二つを加えた体系を言う

https://ja.wikipedia.org/wiki/%E8%B6%85%E5%AE%9F%E6%95%B0
超実数
超実数または超準実数と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである。超実数の全体 *R は実数体 R の拡大体

https://ja.wikipedia.org/wiki/%E5%AE%9F%E6%95%B0%E7%9B%B4%E7%B7%9A
実数直線
位相的な性質
実数直線上には標準的に二つの互いに同値な方法で位相を入れることができる。一つは、実数直線が全順序集合であることを用いて順序位相を入れる方法。もう一つは先に述べた距離からくる内在的な距離位相を入れる方法である
https://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Real_projective_line.svg/225px-Real_projective_line.svg.png
実数直線にただひとつの無限遠点を加えてコンパクト化できる。

https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2
リーマン球面
https://upload.wikimedia.org/wikipedia/commons/thumb/8/85/Stereographic_projection_in_3D.png/330px-Stereographic_projection_in_3D.png
リーマン球面は、複素平面で包んだ球面（ある形式の立体射影による ― 詳細は下記参照）として視覚化できる。