axiomatisable

网络释义

1.	公理化定理3 所有公理化(Axiomatisable)的定理T是可递推枚举的(Recursivement Enumerable) 证明: 定理4 所有公理化的完整的(Comp… zh.wikipedia.org

随便看

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