Go backward to Auxiliary Notions Go up to Top Go forward to Example

Natural Number Arithmetic

Constants

1 := 0', 2 := 1';

Addition

x + y := if y = 0 then x else (x+y-)'

Multiplication

x * y := if y = 0 then 0 else x+(x*y-)

Total Order

x <= y : <=>

if x = 0 then T

else if y = 0 then F

else x- <= y-