公理化
gōng​lǐ​huà

axiomatization

  • created reference approved 公理化 → 公理 (see) — "Initial import from upstream dictionary"

    公理化 gōng​lǐ​huà

    公理 gōng​lǐ

    see

    Changed: source (simp), source (trad), source pinyin, target (simp), target (trad), target pinyin, type

    created reference

  • created sense approved 公理化 · gōng​lǐ​huà · axiomatization — "Initial import from upstream dictionary"

    公理化

    gōng​lǐ​huà

    axiomatization

    to axiomatize; the process of formulating a system as a set of axioms or general enough to derive all its results.

    公理 (literal) → 公理 · gōng​lǐ · axiom 化 (bound) → 化 · huà · [...-ize]

    Changed: simplified, traditional, gloss, definition, pinyin, variant pinyin, variants, separable parts, decomposition

    created sense