3 ms·I always liked the explanation of the proof in Gödel, Escher, Bach. Very easy to follow.by kriro 13y agoI always liked the explanation of the proof in Gödel, Escher, Bach. Very easy to follow.