ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Cartesian product
Complex cartesian product
Real cartesian product
Euclidean real Cartesian product
Set of complex numbers
Definition D371
Imaginary number
Formulation 0
Let $\mathbb{C} : = \mathbb{R}^2$ be the D372: Set of complex numbers.
The imaginary number is the D6211: Boolean pair \begin{equation} i : = (0, 1) \in \mathbb{C} \end{equation}
Results
R403: Square of the imaginary number