@orange_in_space 多分この違いについて考えるには超有理数を導入するのがよさそうですね。移行原理は一般の一階の理論に使えるので、実数だけではなく有理数についても同じような構成を考えることができます。
すると、これはCauchy列風の実数の構成との対応関係があることが知られています。
https://math.stackexchange.com/questions/2626149/applying-ultrapower-construction-to-the-field-mathbb-q-of-rationals
@orange_in_space Cauchy列による実数の構成と超冪による超実数の構成の混同っぽい話に聞こえますね。確かに両者の構成は似ているので、この違いに着目すればうまく直感的な説明を導けるかも
この前のこれも結構衝撃だった><
https://mstdn.nere9.help/@orange_in_space/111170899838507200
https://mastodon.cardina1.red/@lo48576/111170926423549941
https://mastodon.cardina1.red/@lo48576/111170954926377005
https://mastodon.cardina1.red/@lo48576/111170957532595990
https://mstdn.nere9.help/@orange_in_space/111170963954643860