关于Contor配对函数中左右函数的相互表示及其推广

配对函数是讨论递归函数的重要工具。通过配对函数,可以把每个多元数组都对应一个相应的数,亦即可以给每个多元数组一个相应的编号;反之,如果知道了某个多元数组的编号,也可以求出这个数组,亦即可以求出这个数组中的每个数来。因此,有了配对函数就可以把多数元组的性质乃至多元函数的性质转化为一般数的性质或者一元函数的性质来讨论,在得出适当的结论后再化归到多元数组或多元函数中去。更进一步,通过配对函数还可将数理逻辑中所谓“符号行”的计算转化为自然数的计算,“这就是所谓的算术化。