알레프 수: 두 판 사이의 차이

[[순서수]] <math>\alpha</math>에 대하여, '''알레프 수''' <math>\aleph_\alpha</math>는 다음과 같이 [[초한귀납법]]으로 정의된다.

* <math>\aleph_0=|\mathbb N|</math> ([[자연수]]의 [[집합의 크기]])

* <math>\aleph_\lambda=\left|\inf\{\alpha\in\text{Ord}\colon\forall\beta<\lambda\colon\aleph_\beta<|\alpha|\}\right|</math> (<math>\lambda</math>는 [[극한 순서수]])