Peano’s postulates, modified for the natural numbers, concern a set ℕ, a specific elment 0 of ℕ, and a “successor function” s from ℕ to ℕ.
Wikipedia is not as sure.
Peano’s postulates, modified for the natural numbers, concern a set ℕ, a specific elment 0 of ℕ, and a “successor function” s from ℕ to ℕ.
Wikipedia is not as sure.