axiomatisation

14 letters · noun · scores 4,600 in SpellHuntr

noun

Alternative form of axiomatization.

Axiomatisation in a sentence

An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..

axiomatisation is a valid word in SpellHuntr, worth 4,600 points (14 letters — longer words score more). Spell it in a live game →