비재귀 서수

집합론에서 비재귀 서수(non-recursive ordinal)은 모든 계산 가능한(재귀적인) 서수들의 상한이 되는 서수이다. 그러므로 서수 붕괴 함수를 사용하여 표현할 수 없다.

처치-클레이니 서수(Church-Kleene ordinal)는 비재귀 서수 중에서 가장 작은 극한서수이다. 알론조 처치와 스티븐 클레이니의 이름을 따서 명명되었다.

분류:순서수
분류:증명 이론