Enviar aquest missatge de text: Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel