[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)

Inter-universal geometry と ABC予想 (応援スレ) 65 http://rio2016.5ch.net/test/read.cgi/math/1644632425/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

712: １３２人目の素数さん [sage] 2022/04/29(金) 11:06:23.89 ID:VrIdLbpW >>709 >>集合論を一階述語論理で記載できませんよ >良いんじゃね？ 全然良くないけど >そもそも、 >「普通の命題論理では論理和と論理積は >　無限に続くことが許されないので >　自明ではないんですよね」 >は、一階述語論理という しばりないよ ああ、論理の定式化、全く知らない素人さんですね 論理式は有限文字数で記載できないとダメ　これ豆な だから「無限個の論理和・論理積」にあたる命題は 述語論理で限量子∃と∀と使って表す　これまた豆な で、和積標準形を積和標準形に変換するのは 有限個なら馬鹿力でできるけど 無限個では終わらないから無理 仕方がないので選択公理を設定する 選択公理がなくても集合論としては矛盾しない つまり　∀ｘ∃ｙＰ（ｘ、ｙ）　かつ　¬∃ｆ∀ｘＰ（ｘ、ｆ（ｘ））　でも無矛盾 http://rio2016.5ch.net/test/read.cgi/math/1644632425/712

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 290 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.009s