All systems which satisfy the five primitive propositions are in one-to-one correspondence with the natural numbers.

— Giuseppe Peano, I fondamenti dell'aritmetica nel Formulario del 1898 (1898)

On the Peano axioms; as quoted in Hubert C. Kennedy's 1963 article.

Topics: mathematics