Godel's 1st Incompleteness Theorem - Proof by Diagonalization

In this video we’ll examine the context for the theorem, get a gist of what it’s all about and then we’ll step through a semi-formal proof of it, for those who’d like to dig a little deeper.