Solution

ID: past-exam-of-the-model-theory-and-godel-s-incompleteness-theorems-course-of-the-university-of-oxford/2010/b/4/c/solution

Let isolate the principal type. Consistency with means is satisfiable. Because is a complete theory, it must imply ; the alternative would make that extension inconsistent.
Therefore every model of has a tuple satisfying . Each implication then makes satisfy every member of the type. Hence
Completeness is what turns possible realization of the isolating formula into realization in every model.

New to topics? Read the docs here!