[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
110(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/11(土)09:17 ID:CwzPU071(7/17) AAS
>>100
(引用開始)
＞どの本を取り上げても 生のZFC ままではない
しょうがないなあ（笑）
島内剛一の「数学の基礎」ではZFCの公理は全部出てくる
しかし、第２章 集合 で全部出てくるのではなく
無限公理は、第３章 自然数 §１ 有限と無限
選出公理は、第４章 順序数の濃度 §１ 選出公理
置換公理は、第４章 順序数の濃度 §３ 順序数
で、それぞれ出てくる
省12
112: 10/11(土)09:23 ID:BRlCdX9j(11/24) AAS
>>110
＞適当に urelement（原始元）を 認める
そこ全然本質でないのでいくら繰り返しても無意味
島内剛一はこんな学生みたらどう思うかは知らんが
まあそこらじゅうにそんな「利口ぶった馬鹿」がいるのは確か
120: 10/11(土)09:49 ID:lPtR1Iej(10/16) AAS
>>110
>つまり、基礎論を離れた 実際の数学の場面では空集合φから組み立てるのは あまりに迂遠だ
なんで都度組み立て直すこと前提なんだよｗ 一回組み立てられることが示されたら十分だろｗ
おまえはいつも同じことを口にするがまったくナンセンスなんだよ
121: 10/11(土)09:49 ID:lPtR1Iej(11/16) AAS
>>110
>つまり、基礎論を離れた 実際の数学の場面では空集合φから組み立てるのは あまりに迂遠だ
なんで都度組み立て直すこと前提なんだよｗ 一回組み立てられることが示されたら十分だろｗ
おまえはいつも同じことを口にするがまったくナンセンスなんだよ
122: 10/11(土)09:56 ID:BRlCdX9j(14/24) AAS
>>110
＞実際の数学の場面では空集合φから組み立てるのは あまりに迂遠だ
というほどでもない（笑）
ところで、島内剛一の「数学の基礎」では、
述語論理にヒルベルトのεを用いている
これはブルバキのτと同じである
これらはタダのマニアックな趣味かと思ってたが（笑）
実は全然そうじゃなかった
∃ｘＰ（ｘ） は Ｐ（εｘＰ（ｘ））
∀ｘＰ（ｘ） は Ｐ（εｘ¬Ｐ（ｘ））
省11
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s