Gödel numbering
このときω無矛盾性を前提すると、formula_43をゲーデル数とする論理式formula_41が証明可能である。