previous up next
Go backward to
Go up to Top
Go forward to Typical Format
RISC-Linz logo

Mathematical Induction

Third Peano Axiom:

(F[x <- 0] /\  (forall x in N: F => F[x <- x+1])) => forall x in N: F.

Proposition: In order to prove

forall x in N: F,
it suffices to prove
  1. F[x <- 0],
  2. (forall x in N: F => F[x <- x+1]).

Author: Wolfgang Schreiner
Last Modification: November 24, 1999

previous up next