primitive recursive predicate 📖 中文释义 [计] 原始递归谓词 ← primitive recursive function primitive recursive remainder →