哥德尔配数

哥德尔配数，Gedeer Peishu 哥德尔配数使用素数幂 的乘积来表示自然数的任意有限序列xo，x1，，xn 的所有方案。表示本身称为序列x。，xl，，x，的 哥德尔数，通常记为（x。，x，，，x。）。在形式数论中，哥德尔编号是对某些形式语言的每个符号和公式指派一个叫做哥德尔数(GN)的唯一的自然数的函数。这个概念是哥德尔为证明他的哥德尔不完备定理而引入的。