1. Uses the peano definition of numerals, additions and multiplication