The diagonal lemma as the formalized Grelling paradox

Gyorgy Sereny

Since the diagonal lemma plays a key role in the proof of the main limitative theorems of logic, its proof could shed light on the very essence of these fundamental theorems. Yet t…