- 175 名前：１３２人目の素数さん [2017/01/29(日) 15:07:10.26 ID:YRy6neuZ.net]
- ＞No：超実数あるいは拡張実数を考えることは可能だ（例えばリーマン球の北極を∞として、複素球面を実数の数直線に限定するモデル（大小は正の実数限定で定義）でも可）この場合Noだ
maxNが存在するという主張ですね？
ではそう仮定してみましょう
maxの定義から
maxN∈N、maxN+1∈/N
一方自然数の公理と maxN∈N から
maxN+1∈N
あなたの主張から矛盾が導かれましたが、これをどう説明しますか？
