Gödel numbering
詳しくいえば次のようである。まず formula_1 を正規形の存在性を判定するラムダ式とする。formula_2 を2つのラムダ式のゲーデル数から、それらを適用してできるラムダ式を計算する関数を表すラムダ式、formula_3 を自然数からそれを表すラムダ式の表現のゲーデル数を求める関数を表すラムダ式とする。すなわち、