Number theory is the collection of all true statements regarding natural numbers, additon, multiplication and the less-than relation.