递归序数

可构造序数是一种特殊的序数。α为可构造序数，是指存在一个记号系统S，使得S中有α的记号。可构造序数都是可数序数，可构造序数的全体构成序数的一个前节，并且可构造序数只有可数多个。递归序数(recursive ordinal)是一种可构造序数。α为递归序数是指存在(某个自然数集上的)递归关系R，使得R为良序，并且R给出良序与α同构。