previous up next
Go backward to Example
Go up to Top
Go forward to Natural Number Laws
RISC-Linz logo

Natural Number Laws

For all natural numbers x and y, we have:

Addition
x + 0 = x,
x + y' = (x+y)';
Multiplication
x * 0 = 0,
x * y' = x+(x*y);
Total Order
0 <= x <=> T,
x <= 0 <=> x = 0,
x' <= y' <=> x <= y.

Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next