Title: A method in proofs of undefinability
Subjects: Definition (Philosophy), Gödel's theorem