체르멜로-프렝켈 집합론
편의상, 체르멜로-프렝켈 집합론 및 선택 공리를 가정하고, 존 폰 노이만의 순서수의 정의(순서수는 그보다 작은 모든 순서수의 집합)를 사용하자. 기수 formula_1의 바로 다음 기수()는 다음과 같다.