Axiomatization

- Pure Mathematics -
Algebra Dictionary
A finite or infinite set of axioms presented as foundational sentences from which the consequences of a theory are derived; an axiomatization generates a theory by closure under logical consequence.