您要找的是不是：
vt. 使公理化
adv. 自明地；照公理
?有限可公理化
... 拟可公理化的 quasiaxiomatizable 有限可公理化 axiomatizable 公理化程序模型 axiomatic program model ...
递归可公理化
有限可公理化
数 强可公理化理论
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。