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
Integer
Definition D5094
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}