Arithmetic Formulas and Rules Introduction Natural Numbers Addition and Subtraction with natural numbers