Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-116/2/b/solution

Suppose that a first-order formula described the inaccessible cardinal , so that were the least ordinal with . Since is inaccessible, is a model of ZFC. Apply the Lévy reflection theorem inside this model to the single formula . There is some for which
The right side holds, so the left side contradicts the asserted minimality of . Hence no first-order formula describes an inaccessible cardinal, as recorded by ordinal described by a first-order formula.

New to topics? Read the docs here!