証明可能な命題の集合と有限ステップで証明可能な命題の集合が異なる以上
ゲーテル持ち出しても何の意味もない