Definition 2.2.7 (Positive natural numbers). A natural number \(n\) is said to be \(positive\) iff it is not equal to \(0\).
Definition 2.2.7
-
Exercise 2.2.3 (Propostion 2.2.12)
\(\equiv\) { Definition 2.2.7: a natural number \(n\) is positive iff \(n\neq 0\) }