Gödel numbering
formula_38をゲーデル数に持つ論理式にformula_38を代入したものはformula_43であるからformula_54が証明可能である。したがって、formula_55は証明可能である。