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

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

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

全然良くないけど

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

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

---

713(1): 2022/04/29(金)11:30 ID:b8gsErp4(6/15) AAS
>>712
また、論点ずれている

>>は、一階述語論理という しばりないよ
>論理式は有限文字数で記載できないとダメ　これ豆な

一階 vs 高階 と、
文字数 有限とを混同しているな

なお、>>705 添え字i∈N(自然数) で ∪i Pi （可算無限和）は、文字数 有限です
”添え字i∈N(自然数) で ∪i Pi ”の記法は、数学では許されない？ｗｗｗ

---

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

---

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

---

ぬこの手 ぬこTOP 0.033s