Bir matematik öğrencisi, "En az bir asal sayı vardır" önermesini ispatlamak için "Sonlu sayıda asal sayı olduğunu varsayalım..." diyerek başlıyor. Bu hangi ispat yöntemidir?
