Peano arithmetic provides a rigorous foundation for reasoning about natural numbers through axioms that define zero, the successor function, addition, multiplication, and a first-order schema of induction.