Assume ZFC is consistent

  • #1

Main Question or Discussion Point

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
17
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 for: Assume ZFC is consistent

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