Problem çözme sürecinde matematiksel kavramları, teknikleri ve yöntemleri dolaylı ya da doğrudan kullanmak olarak ifade edilmekte olan matematiksel düşünme, üst düzey düşünme becerilerini gerektirmektedir. Dünyaca ünlü Macar matematikçi ve matematik eğitimcisi George Polya’ya göre matematiksel düşünmeyi belirlemek için yapılması gerekenlerden biri de matematikçilerin teoremleri nasıl ispatladıklarını anlamaya çalışmaktır.
İspatlar; matematiksel bilginin formülleştirilmesi, sonuçları ...