Riyazi induksiya
Riyazi induksiya qurmaq üçün adətən istifadə edilən riyazi sübutun metodudur ki, hansi ki, verilən fikir bütün natural ədədlərin (mənfi olmayan tam ədədlər) doğrusudur. Metod daha çox ümumi əsaslandırılmış strukturlar haqqında fikirləri sübut etmək üçün uzana bilər; struktur induksiya kimi tanınan bu ümumiləşdirmədən riyazi məntiqdə və informatikada istifadə edilir. Burada riyazi induksiya rekursiya ilə yaxın əlaqəli olan məna yaratdı. Riyazi induksiya riyaziyyatda qeyri ciddi hesab edilən induktiv mühakimənin forması kimi səhv izah edilməməlidir. Faktiki olaraq, riyazi induksiya ciddi deduktiv mühakimənin formasıdır.