In mathematics, a natural number (also calle counting number) can mean either an element of the set {1, 2, 3, ...} (the positive integers) or an element of the set {0, 1, 2, 3, ...} (the non-negative integers). The former is generally used in number theory, while the latter is preferred in mathematical logic, set theory, and computer science. A more formal definition will follow.