Doğruluğu ispatlanması gereken önermeler teorem olarak isimlendirilir, teoremlerin ispatlanması için kullanılan yöntemler tümevarım ve tümdengelim olarak iki ana başlık altında incelenir.
Bu konu anlatımında, ilk olarak teorem tanımı hatırlatılarak, tümdengelim ve tümevarım ispat yöntemleri açıklanmaktadır. Daha sonra, tümdengelim ispat yönteminin alt başlıkları olan doğrudan ispat, dolaylı ispat yöntemleri tanıtılarak dolaylı ispat yöntemlerini oluşturan olmayana ergi yöntemi, çelişki yöntemi, deneme yöntemi ve aksine örnek vererek ispat yöntemi hakkında bilgi verilmektedir.