Induktiivinen päättely
Induktiivinen päättely eli induktio on päättelymuoto, joka lähtee liikkeelle yksittäisestä havaintojoukosta ja muodostaa niistä yleistyksen tai teorian.
Ordinaali
Tosin sanoen, jos lause "P"(α) on tosi aina, kun "P"(β) on tosi kaikilla βtransinittiseksi rekursioksi. Todistus, että näin saatu käsite on hyvin määritelty, perustuu trans­finiittiseen induktioon. Olkoon jokin "F" ordinaaleille määriteltävä luokkafunktio. Ideana on, että määriteltäessä "F"(α) mille tahansa ordinaalille α voidaan jo olettaa, että "F"(β) on jo määritelty kaikille ordinaaleille , ja täten "F"(α):lle voidaan esittää lauseke funktion arvojen "F"(β) avulla. Tästä seuraa trans­finiittisellä induktiolla, että on yksi ja vain yksi funktio, joka toteuttaa rekursio­kaavan kaikilla ordinaaleilla α:aan saakka ja se mukaan luettuna.