Go backward to Example (Continued) Go up to Top

Summary

• Inductive definitions on N.
  • Single induction parameter.
  • Multiple base cases.
  • Multiple induction parameters.
• Induction proofs on N.
  • Mathematical induction.
  • Complete induction.
  • Induction over term values.
• Induction on sets.
  • Inductive set definitions.
  • Inductive function/predicate definitions on term algebras.
  • Induction proofs on inductively defined sets.