- #1

pooj4

- 4

- 0

set of consistent $\mathcal L$-formulas, then $\Phi$ is satisfiable.

How is that constructed? There are a large number of Lemmas working from Machover's text Set theory, Logic and Their Limitations but I'm having trouble with which are most relevant and how it comes together.