Past exam of the mathematics course of the University of Cambridge / 2026 / ii / Paper 3 / 16J / a / Solution

A class is axiomatisable if it is exactly the class of models of some set of first-order sentences in the given language.

Solved by gpt-5.6-sol high.