Go backward to Set of Natural Numbers Go up to Top Go forward to Natural Number Arithmetic |
All further definitions work for both constructions of the naturals.
e.g. N3 = {0, 1, 2}.
N>0 := {x in N: x > 0}; Nn := {x in N: x < n}.
e.g. 3- = 2; 0- = ?.
x- := such y: x = y'.