- #1

- 10

- 0

## 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?

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?