Repository | Journal | Volume | Articles

It is a commonplace of set theory to say that there is no set of all well-orderings nor a set of all sets. We are implored to accept this due to the threat of paradox and the ensuing descent into unintelligibility. In the absence of promising alternatives, we tend to take up a conservative stance and tow the line: there is no universe (Halmos, in: Naive set theory, 1960). In this paper, I am going to challenge this claim by taking seriously the idea that we can talk about the collection of all the sets and many more collections beyond that. A method of articulating this idea is offered through an indefinitely extending hierarchy of set theories. It is argued that this approach provides a natural extension to ordinary set theory and leaves ordinary mathematical practice untouched.

DOI: 10.1007/s11229-015-0818-x

Full citation: