The Peano axioms don't do very much, they just help model the natural numbers. You still need something to model the logic and provide foundations more complex

The Peano axioms don't do very much, they just help model the natural numbers. You still need something to model the logic and provide foundations more complex subjects like analysis.