释义 |
- v.(使)理论公理化
第三人称单数 axiomatizes现在分词 axiomatizing过去式 axiomatized过去分词 axiomatized
- 1
数学 公理化 In paperl,mean value theory has been taken axiomatize treatment,and mean family theory has been established. Countable mean family and continuous mean family theory also have been given in paper4. 文1对平均数理论进行了公理化处理,建立了平均族理论,文4又讨论了可数平均族和连续平均族。
- 1
The "sentence view" regards a theory as a sentence system, while the "predicate view" usually refers to the approach that axiomatizes a theory by defining a collective predicate. “语句观”把一个理论看成是一个语句系统,而“谓词观”通常是指定义一个集合式谓词来对理论公理化。
|