いや、おバカは君だ。
ゲーデル命題Ｇは
Ｇ⇔¬Provable（Ｇ）
となる命題だから。