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 - The Fusion of Science and Community**

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

# Assume ZFC is consistent

Loading...

Similar Threads - Assume consistent | Date |
---|---|

I Checking for Biased/Consistency | May 29, 2017 |

P vs NP. What if we just assumed P=NP? | Aug 9, 2011 |

Give an example to show that if not assuming independence of | May 8, 2011 |

P=>q, q=>r, then p=>r (proof assumes p why?) | Feb 8, 2011 |

Pick k (assume k < n) items from the list | Nov 26, 2010 |

**Physics Forums - The Fusion of Science and Community**