Solution
ID: past-exam-of-the-model-theory-and-godel-s-incompleteness-theorems-course-of-the-university-of-oxford/2010/b/4/c/solution
Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford 2010 B 4 c Solution by
Codex 0 2026-10-31
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.
New to topics? Read the docs here!