Are the ordinals a set or a proper class?

  • Thread starter meteor
  • Start date
  • Tags
    Form Set
In summary, the Burali-Forti paradox challenges the idea that ordinals form a set, as they can also be seen as a proper class. This is due to the limitations of "naive set theory", which allows for sets to have sets as members, leading to paradoxes such as Russell's Paradox. Therefore, the distinction between sets and proper classes is important in understanding the concept of ordinals.
  • #1
meteor
940
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
  • #2
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.
 
  • #3
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'.
 

1. What are ordinals?

Ordinals are a type of number used to describe the position or order of objects in a sequence. They are commonly represented using words like "first", "second", "third", etc.

2. Do the ordinals form a set?

Yes, the ordinals do form a set. They are a subset of the set of all natural numbers (positive integers), and can be represented as a set using mathematical notation.

3. How are ordinals different from cardinals?

While ordinals describe the position or order of objects in a sequence, cardinals represent the quantity or size of a set. For example, the ordinal "third" represents the third object in a sequence, while the cardinal "three" represents a set of three objects.

4. Can ordinals be negative numbers?

No, ordinals cannot be negative numbers. They are always positive integers or zero, as they are used to describe the position or order of objects in a sequence.

5. Are there different types of ordinals?

Yes, there are different types of ordinals, such as finite and infinite ordinals. Finite ordinals, as the name suggests, only describe the position of a finite number of objects in a sequence. Infinite ordinals, on the other hand, can describe the position of an infinite number of objects in a sequence.

Similar threads

  • Set Theory, Logic, Probability, Statistics
Replies
14
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
15
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
5
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
12
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
20
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
28
Views
5K
  • Set Theory, Logic, Probability, Statistics
Replies
7
Views
2K
Replies
3
Views
177
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
3K
Back
Top