New posts in Peano Axioms

How Can the Peano Postulates Be Categorical If They Have NonStandard Models?

Difference between provability and truth of Goodstein's theorem

Is there a statement independent from PA and does not increase the consistency strength?

Statement provable for all parameters, but unprovable when quantified

What is an example of a non standard model of Peano Arithmetic?

Why is the Axiom of Infinity necessary?

Variations in the successor function from Peano's axioms

Why don't we use Presburger's arithmetic instead of Peano's arithmetic?

How to express “b is a power of 10” – Typographical Number Theory in Gödel Escher Bach

Purpose of the Peano Axioms