自然数の列formula_1があるとき、ゲーデルによるその数列の符号化とは、小さいほうから "n" 個の素数を数列の各数値でべき乗したものの積となる。