The irreflexivity of Brouwer's philosophy door M. van Alten