[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
551(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/30(土)22:01 ID:4Ujjq2jv(16/17) AAS
>>252
＞レーヴェンハイム-スコーレムの定理から導かれる結論の多くは、一階とそうでないものの違いがはっきりしていなかった20世紀初頭の論理学者にとっては直観に反していた。
>>502
＞ペアノの公理
＞(抜粋)
＞一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理） 二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[2]。
一階とそうでないものの区別がついていない者達が、無限だ有限だと喚くスレ
こことか、哀れな素人スレ 0.99999……は１ではない その３
2chｽﾚ:math
ろくな議論になってないね（＾＾；
上下前次1-新書関写板覧索設栞歴
あと 451 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.012s