 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-4/16h/a/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

M = {x \in V : V ⊨ ψ (x, a_{1}, \dots, a_{r})}

defined by a formula

ψ

, with set parameters if these are allowed by the chosen convention. It is a set-class if there is an

m \in V

whose elements are exactly the members of

M

. Otherwise it is a proper class.

 New to topics? Read the docs here!