Inter-universal geometry と ABC 予想 45

Inter-universal geometry と ABC 予想 45at MATH

Inter-universal geometry と ABC 予想 45 - 暇つぶし2ch974:１３２人目の素数さん
20/04/04 05:36:23.47 LCAgYmGz.net
>>904
一階述語論理では全称命題から存在命題が証明できる
一階述語論理の正統性は完全性定理かなと思う