Induktiivinen päättely
Induktiivinen päättely eli induktio on päättelymuoto, joka lähtee liikkeelle yksittäisestä havaintojoukosta ja muodostaa niistä yleistyksen tai teorian.
Transfiniittinen induktio
Tranfiniittinen induktio on matematiikan todistusmenetelmä, jolla tavallista induktiota laajennetaan luonnollisten lukujen joukosta kaikkiin hyvinjärjestettyihin joukkoihin.