Notes on axiomatising Hurkens's Paradox

Abstract

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