Giuseppe Peano

1858–1932

Peano axioms; formalization of arithmetic.

Charts
Peano Arithmetic Axioms Foundations Peano Arithmetic Addition Multiplication Peano Arithmetic Order Induction Peano Arithmetic Godel Completeness Peano Arithmetic Godel Incompleteness 1 Peano Arithmetic Godel Incompleteness 2