トンデモさん？二階だろうが三階だろうが述語論理は完全だよ。