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