限极限序数；指示为 ω。这个序数 ω 也是最小的无限序数（忽略“极限”），因为它是自然数的最小上界。所以 ω 表示自然数的序类型。在这第一个之上的下一个极限序数是 ω + ω = ω·2，和接着的对于任何自然数 "n" 的ω·"n"。采用所有 ω·n 的并集（在任何的序数集合上的上确界运算），我们得到 ω·ω = ω。重复这个过程如下可以生成：一般的说，通过乘法、指数、重复指数等等所有这些递归定义生成极限序数。迄今为止讨论的序数仍是可数的序数；可以证明不存在递归可枚举方案来命名所有可数的序数。超越可