- mõttekäik, milles konkreetsetele juhtudele tuginedes tehakse üldisi järeldusi. Üldjuhul osaline meetod, mis võimaldab ka ebakorrektseid üldistusi. Erijuhul, näiteks matemaatilise induktsiooni korral, on täielik. Viimase üldistuseks on transfiniitne induktsioon, mis on samuti täielik. Transfiniitse induktsiooni korral loetakse väide tõestatuks mingi täielikult järjestatud hulga iga elemendi jaoks, kui selle väite tõesus suvalise elemendi korral järeldub tema tõesusest eelnevate elementide korral.