# Context: proveit.number.sets¶

There are three main sets of numbers: integers, reals, and complexes.

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

common expressions axioms theorems demonstrations
integer positive and negative whole numbers rational and irrational numbers extends real numbers via the imaginary number (square root of -1)