The basic laws of arithmetic : exposition of the system