axiomatisation (plural axiomatisations)
- Alternative form of
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..
axiomatisation f (plural axiomatisations)