axiomatisation
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.