Gödel numbering
一方formula_41は「formula_38をゲーデル数に持つ論理式にformula_38を代入したものは証明不能」という意味である。