The proof of Gödel's incompleteness theorems HD

I have tried to sketch the proof of Gödel's first and second incompleteness theorems the shortest way possible. This may be regarded as an attachment to this video, by my friend Martin on...