Definition of "axiomatisation"

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‎