Are the ordinals a set or a proper class?

  • Thread starter Thread starter meteor
  • Start date Start date
  • Tags Tags
    Form Set
AI Thread Summary
The discussion centers on whether ordinals form a set or a proper class, highlighting confusion stemming from the Burali-Forti paradox. It argues that while ordinals are an infinite collection, they cannot be a set due to the paradox's implications about set membership. The conversation critiques "naive set theory" for its broad definition of sets, which leads to contradictions like the Russell Paradox. It clarifies that sets can contain other sets, while proper classes cannot. Ultimately, the distinction between sets and proper classes is crucial in understanding the nature of ordinals.
meteor
Messages
937
Reaction score
0
Do the ordinals form a set?
I'm confused, I thought that they form a set, but the Burali-Forti paradox says that they are not a set, but instead a proper class.
I always thought that a set was a finite or infinite collection of things. If the ordinals are an infinite collection of things, I do not see why they can't form a set
 
Physics news on Phys.org
Take a close look at the Burali-Forti paradox, especially at their definition of "set". In "naive set theory" a set is any collection of things but that leads to problems (in particular, the Russell Paradox)- that's why it's called "naive". As soon as you start talking about "proper classes" you are using the rule that a "set" cannot have sets as members.
 
Sets certtaily can have sets as members. The ordinals are build up from the null set. Zero is defined as the null set and one is {0}. We have the null set as an element of one.

A set can be on the left or the right side of 'is an element of". A class can only be on the right of 'is an element of'.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Replies
15
Views
2K
Replies
14
Views
2K
Replies
18
Views
2K
Replies
12
Views
2K
Replies
5
Views
2K
Replies
28
Views
6K
Back
Top