Meaning of axiomatisation | Babel Free
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.