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.