っていう有名な定理があるのですが、私が知っている証明はSilver indescerniblesとかを使うものだけです。なんかもっと初等的な証明ないかなぁとかちょっと考えたりしてみたのですがどうにも。何かよい方法はあるんでしょうか。上にあるの話もそれがらみで紹…

で実数体からの上射が存在するような順序数の上界を表すことがあります。もちろん選択公理がある場合にはとなってしまい面白くもおかしくもないわけですが、問題は選択公理がない場合です。特に上でがどのように振舞うかというのはよく研究されています。*1 …

◆ 弥次郎兵衛 (2006-11-22 16:10)「数学的思考法」ですが、間違い方まで含めて「数学屋的思考法」だと思います。 数学屋は前提から結論を導いたり都合良く前提を設定したりする訓練しか受けておらず、 「事実はどうであるか」を注意深く考える機会がほとんど…