axiomatization

Noun

Meaning

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.

Examples

After 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

Close letter words and terms