>>443
は？述語論理は完全というのがゲーデルの完全性定理。
一階は良く載ってるけど二階以上の証明どうやんのって言ってんの。
一階の証明しかしらない素人クンはだまっててね。