Axiomatics

Inspired by redefinitions of Euclidian geometry, Peano used symbolic logic to define natural numbers, beginning with formally defined concepts of zero, number, and successor, and developing it up to algebra.