 2010

Source release: Oxford examination archive release thread, Part C bundle pages 300–304. This is one combined paper covering both courses: section A concerns Gödel second incompleteness theorem and provability logic, and section B concerns model theory. The cover cross-lists Mathematics and Mathematics and Philosophy, both Part C, Thursday 10 June 2010, 2.30pm–5.30pm.

Answer availability checked on 28 October 2026: bounded official Oxford searches by exact year, paper label and both subjects found no advertised exact-paper answers. The official Part C syllabus for the 2010 examination confirms the paired course identity. No later-year answer-release policy was assumed applicable.