axiomatisation
English
editNoun
editaxiomatisation (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
editEtymology
editFrom axiomatiser + -ation.
Pronunciation
editAudio: (file)
Noun
editaxiomatisation f (plural axiomatisations)
Further reading
edit- “axiomatisation”, in Trésor de la langue française informatisé [Digitized Treasury of the French Language], 2012.