自然数相同的基数。在理论计算机科学中用它们把定义在自然数的向量上的函数formula_1编码成一个新函数formula_2。
定义.配对函数是一种可计算的双射函数
康托尔配对函数.康托尔配对函数是一种原始递归配对函数定义为 在应用配对函数到 formula_6 和 formula_7 的时候，我们经常指示结果的数为 formula_8这个定义可以归纳一般化为康托尔元组函数作为