noun
- plural of axiomatization; the process or result of establishing a set of axioms as the foundation for a logical or mathematical system
Usage: formal; technical; mathematics and logic
Examples
- Different axiomatizations of geometry can lead to different geometric systems.
- The axiomatizations of set theory have evolved significantly over the past century.
- Mathematicians debate which axiomatizations best capture the essence of natural numbers.
- Multiple axiomatizations of the same theory may be logically equivalent.
- The axiomatizations proposed by Euclid and Hilbert represent different approaches to geometry.