Doğrudan İspat
Haluk Memili
Çelişki Yoluyla İspat
Ali Güven
Matematiksel Tümevarım
Mert Sinan Öz
Karşıt Tersini Alarak İspat
Mustafa Deniz Türkoğlu