recursively axiomatizable

网络释义

1.	递归可公理化什么意思... ... recursively axiomatizable [数] 递归可公理化 recursively computable [数] 递归可计算的 ... dict.youdao.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。