An intuitionistic-formalistic dictionary of set theory

pp. 79-87

in: Karl Menger, Selected papers in logic and foundations, didactics, economics, Berlin, Springer, 1979

Abstract

This chapter is a translation of the first of four articles on questions concerning the foundations of mathematics, [1928, 1]. I remember the set-theoretician Hausdorff writing me that after reading this paper he understood for the first time what Brouwer was talking about in his definition of set.