Notemos que “$x$ é um ordinal” é uma fórmula $\Delta$, assim pelos resultados anteriores temos que :

$$ x \text{ é ordinal sse } [\![ \check{x} \text{ é um ordinal }]\!]=1 $$

assim se $\alpha$ é um ordinal vale a fórmula “$\alpha$ é um ordinal” de modo que $[\![ \check{\alpha} \text{ é um ordinal } ]\!] = 1$

$\square$