Overflow Theorem/Corollary

Theorem
The class of finite models is not $\Delta$-Elementary.

That is, there is no set of formulas $F$ such that $F$ is satisfied by a model $\mathcal M$ iff $\mathcal M$ is finite.

Proof
Follows directly from the Overflow Theorem.