Axiomatic foundations of arithmetic