New posts in Peano Axioms

Deducing PA's axioms in ZFC

Why is it impossible to define multiplication in Presburger arithmetic?

How is exponentiation defined in Peano arithmetic?