primitive recursive predicate英式朗读美式朗读基本解释[计] 原始递归谓词上一个单词：primitive recursive function下一个单词：primitive recursive remainder