axiomatize

(redirected from axiomatising)

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 ?
Hilbert wanted to secure mathematics against paradoxes that had emerged at the turn of the century by axiomatising it in formal systems representing the various parts of the subject.
The role of ontological categories in our systematization of the world is analogous to the role of axioms in systems of logic: as there is more than one way of axiomatising a logic, so there is more than one way of categorially classifying the world (134-5, cf.
Axiomatising uniform properties of recursive data structures.