What is Cantor’s continuum problem? (1947)
Kurt Gudel, Solomon Feferman, John W Dawson, Stephen Cole Kleene, Gregory Martin Moore, Robert M Solovay, Jean van HEIJENOORT · 2001
Abstract This question, of course, could arise only after the concept of “number” had been extended to infinite sets; hence it might be doubted if this extension can be effected in a uniquely determined manner and if, therefore, the statement of the problem in the simple terms used above is justified. Closer examination, however, shows that Cantor’s definition of infinite numbers really has this character of uniqueness, and that in a very striking manner. For whatever “number” as applied to infinite sets may mean, we certainly want it to have the property that the number of objects belonging to some class does not change if, leaving the objects the same, one changes in any way whatsoever their properties or mutual relations (e.g., their colors or their distribution in space). From this, however, it follows at once that two sets (at least two sets of changeable objects of the space-time world) will have the same cardinal number if their elements can be brought into a one-to-one correspondence, which is Cantor’s definition of equality be tween numbers.