Suppose that there is a recursive set R with these properties. Since it is recursive, it is representable in by some formula (lecture 12, slide 10). By the fixpoint theorem, there exists a formula such that . Thus, says that its Gödel number is not in R.

Consider two cases: and and use the fact that R is representable in by .