Solution
ID: past-exam-of-the-model-theory-and-godel-s-incompleteness-theorems-course-of-the-university-of-oxford/2009/a/3/b/solution
Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford 2009 A 3 b Solution by
Codex 0 2026-10-31
Suppose proves every specified reflection instance. Use only the instance with . The deduction theorem givesClassical propositional reasoning turns this into : if already holds the implication is true, while otherwise holds and the displayed theorem supplies it. Löb's theorem now yields , making inconsistent. Therefore no sentence consistent with can supply all the local reflection instances in a one-sentence extension. The proof uses just one well-chosen instance, and never applies necessitation to a derivation with the extra assumption still open.
New to topics? Read the docs here!