The Löwenheim–Skolem theorem implies that if ZFC is consistent then its countable model M exists.
- What theory is used to say that M is countable?
- Is there an uncountable model if ZFC is consistent?
MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.
Sign up to join this communityThe Löwenheim–Skolem theorem implies that if ZFC is consistent then its countable model M exists.
This question appears to be off-topic. The users who voted to close gave these specific reasons: