Rの存在とその構造の一意性はちゃんと演習問題として載ってるよ

定理の内容はどう見ても重要そうなのに演習問題扱いなのは、
解析学の別のところでその定理を使ったりしないから。
少なくとも「完全にスルー」しているわけではないし、
教養で皆に講義すべきだとは思わない。

実数論を勉強するのに時間をかけた結果、量子論や
情報科学の勉強もしたかったのにその時間が無くなった、
というようなのは明らかにマイナス。

どうして>>906のレスを読んで、実数をどうやって構成するか知らないんだろう、
みたいな感想が出て来るのか不思議。