Rakenteellisessa induktiossa induktioaskel perustuu suoraan käsiteltävän
objektin määritelmän induktioaskeleeseen.
Lause 1.29 (Rakenteellinen induktio). Olkoon joukon U osajoukko A
induktiivisesti määritelty joukko, jonka perusalkiot ovat joukossa B.
Ehdoista
1. P(b) on voimassa kaikilla b kuuluu B, ja
2. jos a kuuluu A:han on määritelty alkioiden a1,...,an kuuluu A avulla ja
P(a1),...,P(an) ovat voimassa, niin P(a) on voimassa, seuraa että P(a)
on voimassa kaikilla a kuuluu A.