Tipe 1 Induksi Matematika