Formulas in Arithmetic