soyut matematikte ispat

daha somutunu bile anlayamaz bir vaziyette iken önünüze çoğunluğu ispatlardan oluşan anlaşılması oldukça zor olan bir ders olan soyut matematiği koyarlar.

öyle ki ;
teorem : 'ali okula gidiyorsa bir öğrencidir.' teoremini ispatlayalım.
ispat : teoremin aksini kabul edelim. bu durumda ali okula gitmiyordur. bu ise teorem ile çelişir. dolayısıyla ali okula gidiyordur ve öğrencidir.