Axiomatisation

"Axiomatisation" in a Sentence (1 examples)

An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..

More for "axiomatisation"

MeaningSynonymsTranslateWord Forms

Next best steps

DefinitionSynonymsSentencesRead the blog

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.