axiomatized

网络释义

1.	公理化形式系统在此意义下是一个公理化（axiomatized）的系统。例如语句邏辑系统是一个形式系统， Peano 的算數系统也是一个 … www.docin.com

释义:

公理化

随便看

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