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

$\forall i = 1, \ldots , m, \ \phi _ i^{M}(x_1, \ldots , x_ n) \Leftrightarrow \forall i = 1, \ldots , m, \ \phi _ i(x_1, \ldots , x_ n).$

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

Proof. See [Theorem 12.14, Jech] or [Theorem 7.4, Kunen]. $\square$

Comment #3542 by Laurent Moret-Bailly on

Is there any reason for stating the theorem in terms of finitely many formulas rather than just one?

Comment #3674 by on

Going to leave this as is. But, no, I guess not, because you can replace the list of $\phi_i$ by $\phi_1 \wedge \ldots \wedge \phi_m$.

There are also:

• 3 comment(s) on Section 3.8: Reflection principle

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).