axiomatisation
Word Rarity
Very rare
Frequency: Zipf frequency 0.00 in modern English
23
Scrabble Score
14
Letters
5
Syllables
8
Unique Chars
Meaning
noun
Example Sentences
- "An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory.."