logo

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
integerpositive and negative whole numbers
realrational and irrational numbers
complexextends real numbers via the imaginary number (square root of -1)