Redirecting to Peano axioms