Theorem 3.8.1. Suppose given $\phi _1(x_1, \ldots , x_ n), \ldots , \phi _ m(x_1, \ldots , x_ n)$ a **finite** collection of formulas of set theory. Let $M_0$ be a set. There exists a set $M$ such that $M_0 \subset M$ and $\forall x_1, \ldots , x_ n \in M$, we have

In fact we may take $M = V_\alpha $ for some limit ordinal $\alpha $.

## Comments (2)

Comment #3542 by Laurent Moret-Bailly on

Comment #3674 by Johan on

There are also: