Verb
axiomatize (third-person singular simple present axiomatizes, present participle axiomatizing, simple past and past participle axiomatized)
To establish a set of axioms that describe or govern certain phenomena
We axiomatize predicate calculus without equality, i.e. there are no special axioms expressing the properties of equality as a special relation symbol. Source: Internet
In modern set theory, it is common to restrict attention to the von Neumann universe of pure sets, and many systems of axiomatic set theory are designed to axiomatize the pure sets only. Source: Internet
There are typically multiple ways to axiomatize a given mathematical domain. Source: Internet
These all show that even for rational numbers exponentiation is not nearly as well-behaved as addition and multiplication, which is why one does not in general axiomatize exponentiation. Source: Internet
This result shows that it is possible to axiomatize ZFC with a single infinite axiom schema. Source: Internet
To axiomatize a system of knowledge is to show that its claims can be derived from a small, well-understood set of sentences (the axioms). Source: Internet