Noun
The reduction of some system or concept to a set of axioms.
The result of establishing a concept within a system of axioms; axiomatic system.
Source: en.wiktionary.orgAfter having completed the axiomatization of set theory, he began to confront the axiomatization of quantum mechanics. Source: Internet
Effective axiomatization A formal system is said to be effectively axiomatized (also called effectively generated) if its set of theorems is a recursively enumerable set (Franzén 2004, p. 112). Source: Internet
As an interpretation, it is not in conflict with the mathematical axiomatization of probability theory; rather, it provides guidance for how to apply mathematical probability theory to real-world situations. Source: Internet
Huntington, 1904, p.296 In 1933, Huntington set out the following elegant axiomatization for Boolean algebra. Source: Internet
Every set has an ordinal rank This was actually the original form of von Neumann's axiomatization. Source: Internet
For axiomatization of algebraically closed fields, this is the best possible, as there are counterexamples if a single prime is excluded. Source: Internet