Inter-universal geometry と ABC 予想 45

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

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

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

961(1): 2020/04/04(土)09:16 ID:DZ3hypNA(1/6) AAS
>>935
それじゃあ証明してください
例題は

すべてのカラスは黒い　⇒　少なくとも1羽の黒いカラスが存在する

です

僕は無理だと思いますよ
何せ前件で何も存在を言ってないのですから