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