axiomatize
English
Alternative forms
- axiomatise (mostly UK)
- axiomize
Etymology
Verb
Lua error in Module:en-headword at line 1118: Legacy parameter 1=STEM no longer supported, just use 'en-verb' without params
- To establish a set of axioms that describe or govern certain phenomena
- 1998, Jean-Pierre Marquis, “Book Review: Colin McLarty. Elementary Categories, Elementary Toposes.”, in Notre Dame Journal of Formal Logic[1], volume 39, number 3, page 441:
- For toposes were invented by Grothendieck in the sixties for specific purposes in algebraic geometry and algebraic topology. Later on, Lawvere and Tierney [11] axiomatized the notion of an elementary topos with the goal of providing an appropriate foundation for differential geometry.
Derived terms
Related terms
Translations
to establish a set of axioms that describe or govern certain phenomena
|