だから二階述語論理は完全じゃないとかよくわからないことを頑なに主張し続けていたのか。
教科書読めばすぐわかることなのに。トンデモさんの相手はもうやめましょう。