1. the process of establishing or organizing a system of axioms (fundamental principles or self-evident truths) as the foundation for a logical or mathematical theory
Usage: formal; technical; commonly used in mathematics, logic, and philosophy

Examples

• The axiomatization of Euclidean geometry established a rigorous foundation for the study of shapes and space.
• Mathematicians worked on the axiomatization of set theory to clarify its fundamental principles.
• The axiomatization of probability theory helped standardize how statisticians approach uncertainty.
• Gödel's work challenged the completeness of axiomatization in formal systems.
• The axiomatization of logic requires careful definition of basic rules and inference methods.