Axiomatisation
noun
noun ·Rare ·Advanced level
Definitions
Noun
- 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.."