axiomatization

IPA(Pronunciation)

Japanese Meaning

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

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

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

Sense（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.

Sense（2）

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

axiomatizations

（ plural ）