Clearly, uncountable cardinals exist. How do we know that $\aleph_1$ is the smallest one? Is there a proof that there is no cardinal strictly between $\aleph_0$ and $\aleph_1$.
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.Sign up to join this community