Un método para definir funciones, sucesiones o clases indexadas por números ordinales especificando el valor en cero, la regla para ordinares sucesores en términos de valores anteriores y el valor en un ordinal límite como una función (a menudo supremo, unión o límite) de los valores en ordinales menores.

Principio

Construir objetos paso a paso a lo largo de la clase bien ordenada de ordinales: caso base, regla de sucesor que referencia etapas previas y regla de etapa límite que combina coherentemente todos los valores anteriores en los ordinales límite.

Demostración

Definir f en los ordinales por f(0)=0, f(α+1)=f(α)+1, y para un límite λ poner f(λ)=sup{f(β): β<λ}. Esto produce una sucesión creciente con valores ordinales definida en todo ordinal por recurrencia transfinita.

Aplicación incorrecta

Intentar definir el valor en un ordinal límite únicamente en función del propio índice límite (definición circular) u omitir una regla para límites puede producir construcciones indefinidas o mal planteadas.

Consecuencia

La recurrencia transfinita genera objetos bien definidos en todos los ordinales cuando las reglas de sucesor y de límite están bien especificadas; sustenta construcciones como la jerarquía acumulativa de conjuntos y los rangos de relaciones bien fundadas.

Inversión

Invertir la bien-ordenación (tratar de iterar 'hacia atrás' a través de los ordinales) es imposible porque los ordinales no admiten cadenas descendentes infinitas; una inversión ingenua rompe el principio recursivo.

Límite

Se aplica a índices bien ordenados (ordinales); no puede aplicarse directamente a órdenes parciales arbitrarios sin estructura adicional (como bien fundación); hay que distinguir recursiones de tamaño clase frente a tamaño conjunto según el marco fundacional.

Tensión semántica

Tensión entre la recursión finita ordinaria y la recursión transfinita en el tratamiento de las etapas límite: la recursión finita las omite, mientras que la transfinita debe especificar un comportamiento coherente en límites, lo cual es sutil y sensible a fundamentos.

Síntesis

La recurrencia transfinita generaliza las definiciones inductivas finitas a todos los ordinales dando prescripciones de base, sucesor y límite para que en cada etapa de la cadena bien ordenada se defina un objeto único, permitiendo construcciones indexadas por ordinales.