Context: proveit.number.sets.integer

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

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