Axiomatisation

noun

noun ·Rare ·Advanced level

Definitions

Noun
  1. 1
    Alternative form of axiomatization. alt-of, alternative

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

Example

More 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"

SynonymsSentencesPronunciationTranslate

Next best steps

Find stronger synonymsSee usage examplesCheck pronunciationBrowse writing guides

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