What does axiomatisation mean?
Axiomatisation means Alternative form of axiomatization..
Looking up this word…
Checking saved dictionary data and trusted language sources. This will stop automatically if a source does not respond.
Checking saved dictionary data and trusted language sources. This will stop automatically if a source does not respond.
Pronunciation varies by accent · noun
Alternative form of axiomatization..
An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..
Use axiomatisation when its meaning, tone and grammar fit the full sentence. A synonym is not always a direct replacement.
Axiomatisation means Alternative form of axiomatization..
The closest synonym depends on the sentence and intended sense.
The opposite depends on the specific sense.
An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..
FreeDictionaryAPI.com / Wiktionary · Original source · CC BY-SA 4.0
Dictionary data is provided by FreeDictionaryAPI.com and sourced from Wiktionary under its stated license.