lautet:

Zu jeder AbbildungF : V → V auf der Klasse aller Mengen V gibt es genau eine Abbildung G : ON → V auf der Klasse aller Ordinalzahlen ON, so daß für jede Ordinalzahl a gilt: G(α) = F(G|α).

Siehe hierzu auch Kardinalzahlen und Ordinalzahlen.