An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..
Source: wiktionary
Axiomatisation
Synonyms for "axiomatisation"
Ranked by relevance and common usage.
Sample sentences
1 total sentences available.