 Gödel’s construction was soon given a general form, as a general diagonalization lemma, which refers to arbitrary definable properties. This is to be found in Carnap 1934b, p. 91, Carnap 1934a, p. 270, and in Rosser 1939, p. 57, Lemma 1: