ゲーデル数
論理式formula_37のゲーデル数をformula_38とすると、formula_8にformula_38を代入した論理式formula_41がゲーデル文となる（対角化）。