axiomatize

(redirected from axiomatise)

axiomatize

(ˌæksɪˈɒməˌtaɪz) or

axiomatise

vb (tr)
to reduce to a system of basic truths or axioms
Translations
axiomatizovat
References in periodicals archive ?
Weak modularity, weak tabularity and map-tabularity were introduced in [Heymans and Stubbe, 2012] with the specific aim to axiomatise small quantaloids of closed cribles.
The Euclidean axioms are well established, and have been for some time, but it is only relatively recently that efforts have been made to axiomatise paper folding.
In fact Koslow's six axioms do have a privileged status: they axiomatise the set of universally quantified laws which are expressible in terms of [right arrow] and hold for classical propositional logic.