?拟可公理化的
... 公理化集合论 axiomatic set theory 拟可公理化的 quasiaxiomatizable 有限可公理化 axiomatizable ...
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。