[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 71 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

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

---

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

---

62: 2024/04/23(火)08:00 ID:NWsSQnB9(1/2) AAS
>>43
2024/04/22(月) 17:00:45.50 ID:8CFW5jXQ
>半可通がシッタカしているねｗ
自虐？

>(参考)
自分が全く読まずにコピペしてる文章を「参考」と書くのは詐欺

>>44
省32

---

63(1): 2024/04/23(火)08:02 ID:NWsSQnB9(2/2) AAS
【結論】
二階論理のstandard semanticsは、人には実現不可能だから無意味
一方Henkin semanticsで良い、と諦めるなら、一階論理上の公理系で実現できる
その場合「一階論理は無意味」という君の主張は完全に崩壊する

Non-reducibility to first-order logic で死ぬのは
私ら健全な一般人ではなく君(ID:8CFW5jXQ)ら完全を求める★違いな連中

---

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

---

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

---

ぬこの手 ぬこTOP 0.037s