Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Structural induction

Structural induction proves a property of every recursively generated object by checking the initial objects and showing that every construction rule preserves the property.

Ancestors (5)

  1. Mathematical proof
  2. Foundations of mathematics
  3. Area of mathematics
  4. Mathematics
  5. Home

Incoming links (1)