Piano Axioms For The Natural Numbers