Skip to main content
2 of 4
edited body

Gregor Lafitte's short paper: "G"odel incompleteness revisited" is is a freely downloadable nice and concise overview of different kinds of proofs with a long list of references:

hal.archives-ouvertes.fr/docs/00/27/45/64/PDF/74-89.pdf