Go backward to Mathematical InductionGo up to TopGo forward to Example |

We want to prove

forallxinN:F.

*Induction Base:*We show`F`[`x`<- 0].*Induction Hypothesis:*We take arbitrary`x`in**N**and assume`F`.*Induction Step:*We show`F`[`x`<-`x`+1].

*Proof strategy for formulas that are universally quantified over N.*

Author: Wolfgang Schreiner

Last Modification: November 24, 1999