Assume ZFC is consistent

  • #1
If you assume that ZFC is consistent, then by the main theorem of model theory ZFC has a model, let the model be countable.
Since ZFC proves: "there is a set consisting of all real numbers" there is a point a belonging to M such that:
M satisfies " a is the set of all real numbers"
But since M is countable there are only countably many points b belonging to M such that:
M satisfies b belonging to a, so a contains only countably many elements. But the real numbers is uncountable, what has happened? Shouldnt a be uncountable?
 

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
This is called Skolem's paradox. It arises by (accidentally) equivocating the word "countable" used in two different contexts.

e.g. you'll find that your countable model of ZFC does not contain any bijection between the model's version of N and the model's version of R. Any bijections that do exist between them are "external", meaning they do not correspond to something in the model.
 

Related Threads on Assume ZFC is consistent

  • Last Post
Replies
2
Views
2K
  • Last Post
2
Replies
33
Views
5K
Replies
4
Views
1K
  • Last Post
Replies
13
Views
7K
Replies
8
Views
3K
  • Last Post
Replies
6
Views
4K
  • Last Post
Replies
20
Views
4K
  • Last Post
Replies
10
Views
3K
  • Last Post
Replies
4
Views
1K
Top