述語論理は完全だと言いたいんじゃないの?