Gödel numbering
が成り立つ。ここで formula_6 はラムダ式 formula_7 のゲーデル数を表すラムダ式の表現である。