>>599
>（完全性）standard semantics において常に妥当な二階述語論理の論理式は、全て証明可能である。
おそらくこれを棄てるんじゃないかなあ