[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
754(1): 01/17(土)01:02 ID:9IhRhgwL(1/6) AAS
>>301
>タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。
「だから」の前が後ろの理由になっていない。
一階述語論理は決定不能。一階述語論理は完全かつ健全だが、一階の理論はそうとは限らない。
756: 01/17(土)01:22 ID:9zDaTgPe(6/24) AAS
>>754
はい
実閉体の条件が必要です
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.057s