axiomatization

IPA（発音記号）

名詞

日本語の意味

ある体系や概念を、一組の公理に還元（公理として定式化）する行為 / 公理体系を用いて概念を定式化すること

The axiomatization of the theory clarified its assumptions and allowed for rigorous proofs.

理論の公理化はその前提を明確にし、厳密な証明を可能にした。

意味（1）

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

The axiomatization of set theory formed the foundations, mathematically, of everything else.

意味（2）

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

axiomatizations

（ plural ）