最小数算子

最小数算子是一种特殊算子，.指基于自然数的最小数原理引进的，由数论谓词定义数论函数的一种运算子。最小数算子(the least number operator)一种特殊算子.指基于自然数的最小数原理引进的.由数论谓词定义数论函数的一种运算子.设P为n -I-1元数论谓词，对任何x<其中x=Cx‑xz，...}x‑))，使P (x， y)成立之最小的y(如存在的话)记为min P(x，y)，其值当然依赖于x，因此可以看成x的一个函数