Ask Math Problems

140 readers

1 users here now

founded 2 years ago

MODERATORS

MagneticElectron@lemmings.world

In ZF¬C, if a set can't be well ordered, what does it say about its cardinality? (sh.itjust.works)

submitted 9 months ago by Ad4mWayn3@sh.itjust.works to c/askmath@lemmings.world

1 comments fedilink hide all child comments

The well-ordering theorem follows only if the AoC is true, which means that otherwise, there are sets with no well-ordering.

Supposedly, the Real numbers is one of such sets. Does that mean the real numbers can't be shown to have a direct bijection to any aleph number? And if that's the case, does that mean 2^Aleph_0 is bigger than any aleph number?

you are viewing a single comment's thread
view the rest of the comments

[–] aberrate_junior_beatnik@midwest.social 2 points 9 months ago

And if that’s the case, does that mean 2^Aleph_0 is bigger than any aleph number?

I don't believe so. I think that it means (or at least could mean) ZF without C is incomplete with regards to this question, the way that ZFC is incomplete regarding the continuum hypothesis.