axiomatization

[计] 公理化

发音

UK /ˌaksɪəmətʌɪˈzeɪʃn̩/

词形变化

axiomatizations 复数 axiomatizations

别名

axiomatisation

释义与例句

n.
  1. 1.

    The reduction of some system or concept to a set of axioms.

    可数 不可数
  2. 2.

    The result of establishing a concept within a system of axioms; axiomatic system.

    公理化

    可数 不可数

词源

From axiomatize + -ation.

来源：wiktionary