[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
174: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/06(日)15:57:33.13 ID:d8OQiN+r(19/27) AAS
>>173
つづき
数学的帰納法
さて、ここで1つ根本的な問いとして「今作った ω は自然数集合として機能するのか」を問うてみる。言い換えると、「ω に属するモノだけで作られる自然数と言う構造が、素朴な意味で自然数と呼んでいるモノが担っていた役割をすべてこなせるのか」ということだ。
ただ、この問題にまじめに解答しようとしたら、先ほど棚上げした ω の存在証明に触れなくてはならない。そこで、ここでもやはり理屈を抜きにして「ω は自然数が果たすべき役割をひととおり果たせる」と結論だけ述べる。
余談
ここで用いられている自然数の定義はよく知られ用いられている。それを前提として下の記述を見てみよう。
省5
374(1): ID:1lEWVa2s 2019/10/13(日)18:41:01.13 ID:BCKVKYa1(25/31) AAS
金のある人は言うでしょう
どうぞ月給7万円になるまでとってってくださいって。
但し経済が壊れて女の子の処女の数々を守れなくていいならって
嘘は言っていない。
がんばれ文章ちゃん。
440: Asura ◆y7fKJ8VsjM 2019/10/19(土)07:08:31.13 ID:x16MRUxI(1/2) AAS
グロタンディーク宇宙Uに{{…(無限個)…}}は存在しないよ
707: 2019/12/08(日)16:42:12.13 ID:9rv1hojT(11/14) AAS
>>706
＞コピペするのすらめんどい。
じゃ、ここに書くの面倒でしょ 辞めたら？
◆e.a0E5TtKEは「主」を尊称だと思ってるのでいい気になって使ってます
◆e.a0E5TtKEを喜ばせるのは面白くないので決して使いませんね
885(1): 2019/12/19(木)00:18:06.13 ID:MtZspq6l(1) AAS
おっちゃんさんかと想ってました。。。
お休みなさ〜い( ´∀`)/~~>>884
892: 2019/12/19(木)10:40:25.13 ID:ewL+VwLw(2/3) AAS
いっつも１人めがね👓でﾌﾞﾂﾌﾞﾂ...
数学呟いて周りから浮いてンだね。。。
可哀想。。。ｻﾙﾙくんのトラウマａａなんだね・・・
泣けてくる。。。(。ﾉД`)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s