>>893
しかし拡張実数最終である超現実数に於いても　0.999…=1　であり　1-0.999…≠0　に成り得ない｡
よって　0.999…≠1　となる様に辞書式順序化した改変拡張実数は
非アルキメデス的であるばかりか超現アルキメデス的性質さえ満たさない｡
結局　0.999…≠1　とする辞書式順序化された改変拡張実数は
>>739に先述した無理数の全順序化の不能性を孕む事となる｡

>>744
超実数は非アルキメデス的ではあるが超アルキメデス的である、という表現を使ってみた｡
意味は本職が汲んで定義付けしてくれれば良い。任意の如何なる実数よりも小さい実数は存在せず
全ての実数が四則と開方（と超越関数操作）に閉じており、全ての実数に順序がある､
任意の如何なる超実数よりも小さい超実数は存在せず全ての超実数が四則と開方（と超越関数操作）に
閉じており、全ての超実数に順序がある｡

超現アルキメデス性さえ突破する辞書式0.999…≠1順序化は、『ゲーム』だろうか？