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
Definition D995
Integer
Formulation 0
Let $\mathbb{Z}$ be the D367: Set of integers.
Then $n$ is an integer if and only if \begin{equation} n \in \mathbb{Z} \end{equation}
Children
Positive integer