# Overflow Theorem/Corollary

Jump to navigation
Jump to search

This article needs to be linked to other articles.$\Delta$-elementaryYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{MissingLinks}}` from the code. |

## Theorem

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

That is:

- $\MM$ is finite.

## Proof

Follows directly from the Overflow Theorem.

$\blacksquare$