Penalaran Abduktif dalam Pembuktian Matematika