Lembre que a fórmula "$\alpha$ é um ordinal" é $\Delta_{0}$