Matematiksel İspat/Önsöz
(Matematiksel İspat/Giriş sayfasından yönlendirildi)
Bazen insanlar matematiksel ispatları okurken yabancı bir dil okuduklarını düşünüyorlar. Bu kitap, matematiksel ispatta ve ve matematikte kullanılan öbür ispat türlerinde kullanılan dili öğretmeyi hedeflemektedir. Bu bilgi ileri matematik için gerekli olmakla birlikte ileri matematik bilgisi bu kitabı okuyabilmek için gerekli değildir. Bu kitap bazı küme ve mantık gösterimleri kullanılmaktadır, ve kitabın ilk 2 bölümündeki küme teorisi ile mantık konularını kavradıktan sonra bu gösterimleri anlayacak konuma geleceksiniz.
Küme teorisine ve mantığa giriş yaptıktan sonra matematiksel ispat yöntemleri ve ileri matematikte sıkça kullanılan öbür uygulamalara geçeceğiz.