Induktiivinen päättely
Induktiivinen päättely eli induktio on päättelymuoto, joka lähtee liikkeelle yksittäisestä havaintojoukosta ja muodostaa niistä yleistyksen tai teorian.
Matemaattinen induktio
Matemaattinen induktio perustuu "induktioperiaatteeseen", jolla todistetaan luonnollista lukua formula_1 koskeva väite todeksi kaikilla luvun formula_1 arvoilla. Teknisesti induktiotodistus koostuu kolmesta vaiheesta:Toisin kuin induktiivisessa päättelyssä, matemaattiseen induktioon ei sisälly Humen ongelmaa, sillä matemaattinen induktio on rekursioon perustuvaa todistamista eli pätevää deduktiivista päättelyä. Todistus perustuu rekursiorelaation avulla määriteltyyn äärettömän joukon säännönmukaisuuteen, joka todistuksessa yleistetään koko joukkoon, esimerkiksi luonnollisten lukujen joukkoon. Matemaattinen induktio voidaan myös samaistaa täydellisen induktion kanssa, sillä siinä käydään rekursiivisesti kaikki mahdolliset yksittäistapaukset läpi.