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.
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
derived from
1 entriesform of
1 entriesSample sentences
1 total sentences available.
Keep exploring
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.