ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Collection of sets
Set union
Successor set
Inductive set
Set of inductive sets
Set of natural numbers
Set of integers
Set of rational numbers
Set of euclidean rational numbers
Set of euclidean integers
Set of euclidean natural numbers
Definition D5969
Set of euclidean boolean numbers
Formulation 0
The set of euclidean boolean numbers with respect to $N \in \{ 1, 2, 3, \ldots \}$ is the D11: Set \begin{equation} \{ 0, 1 \}^N = \prod_{n = 1}^N \{ 0, 1 \} \end{equation}
Formulation 1
Let $\mathbb{B} = \{ 0, 1 \}$ be the D217: Set of boolean numbers.
The set of euclidean boolean numbers with respect to $N \in \{ 1, 2, 3, \ldots \}$ is the D11: Set \begin{equation} \mathbb{B}^N = \prod_{n = 1}^N \mathbb{B} \end{equation}