The basic laws of arithmetic exposition of the system