primitive recursive remainder function

... primary function 基函数, 原函数 primitive recursive remainder function 原始递归余数函数 principal function 主函数 ...