Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-3/16j/b/solution
Past exam of the mathematics course of the University of Cambridge 2026 ii Paper 3 16J b Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
Compactness theorem says a set of first-order sentences has a model whenever each finite subset has a model.
New to topics? Read the docs here!