First part: common rendition of the theorem using Turing machines

[enriquepablo]

And the diagonalization, follow

https://plato.stanford.edu/entries/goedel-incompleteness/

So better reference that work and follow its notation.

And this part is finished. or, better yet, made into a short introduction