Proposition 1. For every ordinal $\alpha$ there is a cardinal greater than $\alpha$.
Definition 1. The cardinal successor of an ordinal $\alpha$, denoted by $\alpha^+$, is the least cardinal greater than $\alpha$.
Pub Mar 09, 2026 Up Jun 10, 2026
Proposition 1. For every ordinal $\alpha$ there is a cardinal greater than $\alpha$.
Definition 1. The cardinal successor of an ordinal $\alpha$, denoted by $\alpha^+$, is the least cardinal greater than $\alpha$.