[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
174: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/06(日) 15:57:33.13 ID:d8OQiN+r >>173 つづき 数学的帰納法 さて、ここで1つ根本的な問いとして「今作った ω は自然数集合として機能するのか」を問うてみる。言い換えると、「ω に属するモノだけで作られる自然数と言う構造が、素朴な意味で自然数と呼んでいるモノが担っていた役割をすべてこなせるのか」ということだ。 ただ、この問題にまじめに解答しようとしたら、先ほど棚上げした ω の存在証明に触れなくてはならない。そこで、ここでもやはり理屈を抜きにして「ω は自然数が果たすべき役割をひととおり果たせる」と結論だけ述べる。 余談 ここで用いられている自然数の定義はよく知られ用いられている。それを前提として下の記述を見てみよう。 1∈3 高校数学の知識では「3は集合ではないので ∈ の右側に 3 を書くのはおかしい」となるのであろうが、我々が採用した「すべてのモノは集合である」論理では 3 も集合として定義しているのでその指摘は当たらない。 しかも、3 は {0,1,2} (0と1と2だけが属する集合) と定義されているので 1∈3 (1は3に属する) は正しい。 この点で微妙に高校数学の集合論と公理的集合論 (とりわけ ZF 公理系や ZFC 公理系を採用する集合論) には違いがある。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1570237031/174
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 828 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s