Peano rebuilds elementary arithmetic in a compact symbolic language, first defining signs and relations and then stating axioms for natural numbers, equality, succession, and induction. The presentation is less a conventional textbook than a demonstration that chains of mathematical reasoning can be exposed line by line, with notation carrying work that prose had previously left implicit.