👉 In logic and mathematics, an "axiomatization" or "axiomatic definition" is a process of defining a new concept or rule that is based on existing principles or axioms. It involves making certain assumptions about the system being defined and then proving these assumptions to be true. An axiomatization typically begins with a set of universally accepted facts, such as the laws of arithmetic, geometry, or physics, which are considered "axioms." These axioms serve as the foundation for