The Basic Laws of Arithmetic