Tipe 2 Induksi Matematika