Inter-universal geometry と ABC 予想 45

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

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

904(1): 2020/04/04(土)01:33 ID:RSRL4rRm(1) AAS
全称命題から存在命題が導出できることについて議論して欲しい
俺はできないと思う
なぜなら
全称命題には存在性がないからだ

935(1): 2020/04/04(土)05:36 ID:LCAgYmGz(1) AAS
>>904
一階述語論理では全称命題から存在命題が証明できる
一階述語論理の正統性は完全性定理かなと思う