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