Assertion: aleph's point | /r/HasProperty | uncountable cardinal
Facets:
value: with \kappa$
type: OTHER
Source sentences:
text: The index $\alpha$ is the (ordinal) number of alephs below $\aleph_\alpha$; an aleph fixed point is just an uncountable cardinal $\kappa$ with $\kappa$