Home Online Mathematical Communication Persiflage Proof of the Diagonal Lemma in Logic