このように、論理式を数値で表す行為を論理式のゲーデル数化といい、命題formula_1に対応する数値をformula_1のゲーデル数という。