Title: Definitions and Definability
Subjects: Definition (logic)