axiomatisation en · NOUN
Meanings
-
(alt-of, alternative) Alternative form of axiomatization.
alt of axiomatization
An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..
2015, Arnaud Spiwack, “Notes on axiomatising Hurkens's Paradox”, in arXiv:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| axiomatisations | Number=Plur | lexicographic |