Theory of proveit.numbers.number_sets.integers

Theory for the set of integer numbers, $\mathbb{Z}$, and important subsets such as the natural numbers , $\mathbb{N}$, and the positive natural numbers, $\mathbb{N}^{+}$. Natural numbers are first defined via counting, addition is defined as repetitive counting, subtraction is defined as the inverse of addition, then the integer numbers are the full set (closure) defined via addition and subtraction of natural numbers.

In [1]:
import proveit
%theory # toggles between interactive and static modes