Gödel's Second Incompleteness Theorem, Proof Sketch

In order for math to prove its own correctness, it would have to be incorrect. This result is Gödel’s second incompleteness theorem, and in this video, we provide a sketch of the proof.