▾ 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
▾ Integer
Positive integer
Formulation 0
Let $n \in \mathbb{Z}$ be an D995: Integer.
Then $n$ is a positive integer if and only if \begin{equation} n > 0 \end{equation}