[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

709(1): 2022/04/29(金)10:33 ID:b8gsErp4(5/15) AAS
>>700
>そうしないと、集合論を一階述語論理で記載できませんよ

良いんじゃね？
そもそも、>>667 「普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね」
は、一階述語論理という しばりないよ

---

712(1): 2022/04/29(金)11:06 ID:VrIdLbpW(3/3) AAS
>>709
>>集合論を一階述語論理で記載できませんよ
>良いんじゃね？

全然良くないけど

>そもそも、
>「普通の命題論理では論理和と論理積は
>　無限に続くことが許されないので
>　自明ではないんですよね」
>は、一階述語論理という しばりないよ

ああ、論理の定式化、全く知らない素人さんですね
省9

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.032s