Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
上下前次1-新
678(2): 09/02(火)14:35 ID:SkBP9bZ4(2/5) AAS
つづき
>「{}に0,1,2,・・・を順次追加していき、無限回の追加が完了してNが出来上がる」
>とはなっていないことは、ペアノの公理を一階述語論理上で形式化した場合に
>超準的自然数を持つモデルが生じてしまうことからも明らかである
そうですな ここで重要ポイントは、一階述語論理は 綺麗だが 弱くて不便
普段の数学は、一階述語論理しばりは うれしくないってことですね
外部ﾘﾝｸ:ja.wikipedia.org
省27
上下前次1-新書関写板覧索設栞歴
あと 285 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s