 1918 Brouwer begins the systematic intuitionistic reconstruction of mathematics with his paper “Founding Set Theory Independently of the Principle of the Excluded Middle. Part One, General Set Theory”.