PBS Infinite Series S02 E05 How Infinity Explains the Finite

Peano arithmetic proves many theories in mathematics but does have its limits. In order to prove certain things you have to step beyond these axioms. Sometimes you need infinity.