Esto es, si P(α) vale siempre que P(β) valga para todo β < α, entonces P(α) vale para todo α.