The cardinal successor of an ordinal $\alpha$, denoted by $\alpha^+$, is the least cardinal greater than $\alpha$.
The existence of $\alpha^+$ is justified by PROP-CA-G.
The cardinal successor of an ordinal $\alpha$, denoted by $\alpha^+$, is the least cardinal greater than $\alpha$.
The existence of $\alpha^+$ is justified by PROP-CA-G.