Numbers

• What properties do we need?

 ZERO
 IS_ZERO
 SUCC
 PRED

• Such that

 (IS_ZERO ZERO) => TRUE
 (IS_ZERO (SUCC x)) => FALSE
 (PRED (SUCC x)) => x

• These are actually equivalent to the Peano axioms