A new and complete system of arithmetic