İspat, aksiyomlardan, tanımlardan ve önceden kanıtlanmış ifadelerden bir sonuca varan mantıksal çıkarımlar zinciridir. Matematikte doğruluk standardıdır. Bir ifade, ispatlanana kadar doğru olarak kabul edilmez.

İspatlar birçok biçimde olabilir. Doğrudan ispat, sonuca adım adım ulaşır. Çelişki ispatı, tersini varsayar ve bunun imkansızlığa yol açtığını gösterir. Matematiksel indüksiyon, bir temel durum ve bir indüksiyon adımı ispatlayarak tüm doğal sayılar hakkındaki ifadeleri ispatlar. Geometrik ispatlar diyagramlar ve aksiyomlar kullanır.

İspat yazmak, pratikle geliştirilen bir beceridir. Açıklık, titizlik ve yaratıcılık gerektirir. Öğrencilerin karşılaştığı ilk ispatlar genellikle geometride olur, ancak ispat matematiğin tüm dallarında merkezi bir öneme sahiptir. Bir ispat sadece gerçeği ortaya koymakla kalmaz, aynı zamanda bir şeyin neden doğru olduğunu da açıklar.

• Doğruluğu ortaya koyan mantıksal argüman
• Biçimler: doğrudan, çelişki, tümevarım
• Aksiyomlardan ve önceki sonuçlardan yola çıkarak oluşturulmuştur.
• Bir ifadenin neden doğru olduğunu açıklar.