ABSTRACT
By means of the regressive definitions stated for ‘ sum’ and 4 prod ’, the ordinary fundamental laws of arithmetic (the commu tative, associative, and distributive laws) and, further, all the known theorems of elementary arithmetic can be proved with the help of RI 4 (complete induction).