19/11/30 22:01:06.91 4Ujjq2jv.net
>>252
＞レーヴェンハイム-スコーレムの定理から導かれる結論の多くは、一階とそうでないものの違いがはっきりしていなかった20世紀初頭の論理学者にとっては直観に反していた。
>>502
＞ペアノの公理
＞(抜粋)
＞一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理） 二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[2]。
一階とそうでないものの区別がついていない者達が、無限だ有限だと喚くスレ
こことか、哀れな素人スレ 0.99999……は１ではない その３
ｽﾚﾘﾝｸ(math板:1番)-
ろくな議論になってないね（＾＾；