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