Meaning of axiomatisation | Babel Free
Equivalents
Français
axiomatisation
Examples
“An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..”
CEFR level
C2
Mastery
This word is part of the CEFR C2 vocabulary — mastery level.
This word is part of the CEFR C2 vocabulary — mastery level.
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free