axiomatisation
Jump to navigation
Jump to search
English[edit]
Noun[edit]
axiomatisation (plural axiomatisations)
- Alternative form of axiomatization
- 2015, Arnaud Spiwack, “Notes on axiomatising Hurkens's Paradox”, in arXiv[1]:
- An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..
French[edit]
Etymology[edit]
From axiomatiser + -ation.
Pronunciation[edit]
Audio (file)
Noun[edit]
axiomatisation f (plural axiomatisations)
Further reading[edit]
- “axiomatisation”, in Trésor de la langue française informatisé [Digitized Treasury of the French Language], 2012.