On Set Theory (-1949)

"The concept of power, which includes as a special case the concept of whole number, that foundation of the theory of number, and which ought to be considered as the most general genuine origin of sets [Moment bei Mannigfaltigkeiten], is by no means restricted to linear point sets, but can be regarded as an attribute of any well-defined collection, whatever may be the character of its elements. [...] Set theory in the conception used here, if we only consider mathematics for now and forget other applications, includes the areas of arithmetic, function theory and geometry. It contains them in terms of the concept of power and brings them all together in a higher unity. Discontinuity and continuity are similarly considered from the same point of view and are thus measured with the same measure." (Georg Cantor, "Ober unendliche, lineare Punktmannichfaltigkeiten", 1879)

"The foregoing account of my researches in the theory of manifolds has reached a point where further progress depends on extending the concept of true integral number beyond the previous boundaries; this extension lies in a direction which, to my knowledge, no one has yet attempted to explore. [...] My dependence on this extension of number concept is so great, that without it I should be unable to take freely the smallest step further in the theory of sets." (Georg Cantor, "Grundlagen einer allgemeinen Mannigfaltigkeitslehre", 1883)

"Since the examination of consistency is a task that cannot be avoided, it appears necessary to axiomatize logic itself and to prove that number theory and set theory are only parts of logic. This method was prepared long ago (not least by Frege’s profound investigations); it has been most successfully explained by the acute mathematician and logician Russell. One could regard the completion of this magnificent Russellian enterprise of the axiomatization of logic as the crowning achievement of the work of axiomatization as a whole." (David Hilbert, "Axiomatisches Denken" ["Axiomatic Thinking"], [address] 1917)

"It seems clear that [set theory] violates against the essence of the continuum, which, by its very nature, cannot at all be battered into a single set of elements. Not the relationship of an element to a set, but of a part to a whole ought to be taken as a basis for the analysis of a continuum." (Hermann Weyl, "Reimanns geometrische Ideen, ihre Auswirkungen und ihre Verknüpfung mit der Gruppentheorie", 1925)

"To say that mathematics in general has been reduced to logic hints at some new firming up of mathematics at its foundations. This is misleading. Set theory is less settled and more conjectural than the classical mathematical superstructure than can be founded upon it." (Willard van Orman Quine, "Elementary Logic", 1941)

"The emphasis on mathematical methods seems to be shifted more towards combinatorics and set theory - and away from the algorithm of differential equations which dominates mathematical physics." (Oskar Morgenstern, "Theory of Games and Economic Behavior", 1944)

"But, despite their remoteness from sense experience, we do have something like a perception of the objects of set theory, as is seen from the fact that the axioms force themselves upon us as being true. I don't see any reason why we should have less confidence in this kind of perception, i.e., in mathematical intuition, than in sense perception, which induces us to build up physical theories and to expect that future sense perception will agree with them and, moreover, to believe that a question not decidable now has meaning and may be decided in future." (Kurt Gödel, "What is Cantor’s Continuum problem?", American Mathematical Monthly 54, 1947)