En términos prácticos, esto significa que para probar una propiedad P para todos los ordinales α, se puede asumir que ya está demostrada para todos los β < α.