Solution
ID: past-exam-of-the-model-theory-and-godel-s-incompleteness-theorems-course-of-the-university-of-oxford/2009/b/5/c/iv/solution
Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford 2009 B 5 c iv Solution by
Codex 0 2026-10-31
No. If a finite conjunction axiomatized the infinite spaces, it would follow from the vector-space axioms together with all the . Compactness would make it follow from finitely many of those axioms and dimension requirements. Let be at least every dimension mentioned there. The finite-dimensional space satisfies all vector-space axioms and those finitely many , hence would satisfy . But it is a finite set and so cannot be a model of the purported axiomatization. This contradiction proves failure of finite axiomatizability, including finite axiomatizability relative to vector spaces.
New to topics? Read the docs here!