>>493 真だよ。
>>496 数学基礎論をきちんと勉強してください。
「証明できない論理式がある」は形式的体系内部で定義された論理式ではないです。