@orange_in_space こんにちは．オレンジさんの実数の議論に触発されて，最近こういう記事を書いていました．
https://www.downcastingsoft.net/7e5/diary/draft/2022/0999/
ですが，(アルキメデスの性質を考えるモチベーションが書かれていないなど) 内容が不十分な点も多々あるので，コメント頂けるとありがたいです．
@orange_in_space こんにちは．オレンジさんの実数の議論に触発されて，最近こういう記事を書いていました．
https://www.downcastingsoft.net/7e5/diary/draft/2022/0999/
ですが，(アルキメデスの性質を考えるモチベーションが書かれていないなど) 内容が不十分な点も多々あるので，コメント頂けるとありがたいです．
@orange_in_space いえ，勝手に書いて勝手に送りつけただけなので，お返事がもらえるだけでもありがたいです．