現代数学の系譜古典ガロア理論を読む35 [無断転載禁止]©2ch.net

**１３２人目の素数さん** · 2017/06/19(月) 14:07:15.08

前スレ現代数学の系譜11 ガロア理論を読む
34 http://rio2016.2ch.net/test/read.cgi/math/1496568298/

**現代数学の系譜古典ガロア理論を読む** · 2017/06/21(水) 21:19:34.89

>>84-86
ID:17miKOtAさん、ID:4pLWwsgZさん、どうも。スレ主です。
お二人に質問を返して悪いですが、下記如何でしょうか。ここらをはっきりさせて議論する方が、話が早いと思いますので。
　　　記
１．時枝記事の設定>>12は、”箱が「可算無限個」”だと。これはいいですね
　　で、先頭の箱から１から始まる自然数の番号を振ることができる。これもいいですね
　　1,・・・,ｎ,・・・とします。
　　質問は、nの取り得る範囲です。これは、”1<= n <∞、即ち、区間で書けば[1,∞)の間の自然数”だと
　　Y or N
２．現代数学の標準的な自然数の構成法、例えば、ジョン・フォン・ノイマンによる構成法はご存知ですか？
　　箱を一つ一つ増やしていくようにして、（無限公理により）無限に到達しますよ。
　　Y or N

つづく

**現代数学の系譜古典ガロア理論を読む** · 2017/06/21(水) 21:21:22.09

>>87 つづき
追伸
現代数学の標準的な自然数の構成法を、前スレでも紹介したので、下記引用します。
http://rio2016.2ch.net/test/read.cgi/math/1496568298/251
251 返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/06/07(水) 07:30:20.38 ID:qnt5rUPR [3/25]
(抜粋)
下記引用ご参照。現代数学の標準的な自然数の構成法だ
何を言いたいかと言えば、「任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する」を繰り返すことによって、”可算無限個の”自然数を構成しているんだ！！
だから、有限モデルから>>223の有限モデルから、一つずつ箱を増やして、”可算無限個の”箱のモデルに到達することは、なんらの問題もないってこと

これが、現代数学の標準的な自然数の構成法だと

https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
・任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する（suc(a) は a + 1 の "意味"）。

集合論において標準的となっている自然数の構成は以下の通りである。

無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々である[3]。

https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
(抜粋)
無限集合の公理は 0 を含む帰納的集合の存在を主張しているので、ここでの N の定義に問題はない。自然数のシステム (N, 0, suc) はペアノの公理を満たすことが示される。それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
略
等々である。この構成法はジョン・フォン・ノイマンによる。
これは可能なペアノシステムの構成法として唯一のものではない。
(引用終り)

現代数学の系譜 古典ガロア理論を読む35 [無断転載禁止]©2ch.net

現代数学の系譜古典ガロア理論を読む35 [無断転載禁止]©2ch.net