İspat yöntemleri nelerdir Test 1

"√2'nin irrasyonel olduğu" ispatında, √2'nin rasyonel olduğu varsayılarak bir çelişkiye ulaşılmıştır.
Bu ispat hangi yöntemle yapılmıştır?

A) Doğrudan ispat
B) Tümevarım
C) Olmayana ergi
D) Yapıcı ispat