Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Andreas Blass states that proper classes do not exist and emphasizes that this is only his philosophical opinion, and not a mathematical fact.(link text).

Is it really not a mathematical fact? I think there are some mathematical results that justify his philosophical opinion. Levy and Vaught prove that Ackermann's set theory proves the existence of the classes {V}, P{V}, PP{V},....(Pacific Journal of Mathematics, 11:1045-1062, 1961). Furthermore, Reinhardt proves that Ackermann's set theory equals ZF (Annals of Mathematical Logic, 2:189-249). My understanding of these results is that anything we can prove in Ackermann's set theory, we can prove in ZF as well. There is no need to assume the existence of the classes P{V}, PP{V}, PPP{V},...because there is nothing new math fact to obtain.

Is my understanding correct?

share|improve this question
2  
If I read Andreas correctly, I think he was saying that in his philosophically motivated "model" of mathematics, there are no proper classes. That is not to say there are not other ways of thinking about mathematics, which are consistent, and make use of proper classes. –  Pace Nielsen Feb 9 '12 at 16:32
3  
If I remember correctly, in the context of Ackermann's set theory one does need the proper classes; without them that theory is weaker than ZF. To fit this situation into my philosophical point of view, I'd say that what Ackermann's theory calls proper classes are really certain sets. That notion has some support in the Levy-Vaught interpretation of Ackermann set theory in a conservative extension of ZF, where both the sets and the classes of Ackermann are interpreted as certain sets in the sense of ZF. –  Andreas Blass Feb 9 '12 at 16:58
    
Even if it is true that everything we prove using proper classes (and not referring explicitly to proper classes) could be proved without using them, that would have no bearing on the question of whether proper classes exist. –  Mike Shulman Mar 31 '12 at 17:19
add comment

1 Answer

In a formal theory like ZF (or ZFC), one can say that proper classes don't exist, since the formal language can only speak of sets. Inside the formal theory, one can prove sentences stating for instance that there is no universal set. But if we are looking "from the outside" at a model for ZF, we can speak of collections of objects (for instance the collection of all sets) that do not correspond to sets in the model. We call them classes to distinguish the informal from the formal language.

From a technical point of view, the situation is no more paradoxical than for instance a formal theory of the rational numbers in which it can be proved that there is no square root of 2, but that can be embedded in a larger structure where $\sqrt{2}$ does exist.

But it's a bit disturbing if one wants to think of set theory as a foundation of mathematics, describing the real mathematical universe. It seems weird to be able to give specific examples of things that don't exist. With everyday non-existing things like circles with integer radius and perimeter you can't, because there simply aren't any. It reminds me of the great Master Cerebron in Stanislaw Lem's "The cyberiad", who lectured for 47 years on the three types of dragon, each of which doesn't exist, but in completely different ways.

To understand the situation, I think one has to see the problem that ZF was meant to solve. In the late 1800's, Gottlob Frege devised a much simpler formal theory of sets that turned out to be inconsistent due to the Russell paradox of the set of all sets that aren't members of themselves. Restoring Frege's logic turned out to be quite a challenge. Russell suggested a hierarchy of types, while ZF goes in another direction, squeezing set theory into first-order logic. I'm not familiar with other theories, but it seems that whatever we do, Rusell's paradox will keep haunting us one way or another. Finally, since I'm currently reading it, I can't resist mentioning Logicomix.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.