Published online by Cambridge University Press: 12 March 2014
Consider an axiomatic set theory in which there is a distinction between “sets” and “classes,” only sets being allowable as elements. How can one define a finite sequence of classes? This problem was proposed to me by A. Tarski, and a solution is given in this note. We shall assume the axiom system Σ used by Godei in his study of the continuum hypothesis, and shall use the same notation.1
1 Gödel, K., The consistency of the continuum hypothesis, Princeton University Press, Princeton 1940. The axioms appear in Chapter I; an index of notation is given on pp. 63–64.Google Scholar