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
Rational number
P-adic rational number
Set of P-adic rational numbers
Definition D3571
Set of dyadic rational numbers
Formulation 1
The set of dyadic rational numbers is the D11: Set \begin{equation} \left\{ \frac{n}{2^m} : n \in \mathbb{Z}, \, m \in \mathbb{N} \right\} \end{equation}