If you assume that ZFC is consistent, then by the main theorem of model theory ZFC has a model, let the model be countable.(adsbygoogle = window.adsbygoogle || []).push({});

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?

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Assume ZFC is consistent

**Physics Forums | Science Articles, Homework Help, Discussion**