Teorema adalah pernyataan yang telah terbukti benar. Teorema bukanlah asumsi atau dugaan; teorema diperoleh dari aksioma, definisi, dan hasil yang telah terbukti sebelumnya melalui deduksi logis. Bukti itulah yang membuat teorema dapat diandalkan.

Teorema-teorema terkenal meliputi teorema Pythagoras, teorema fundamental kalkulus, dan Teorema Terakhir Fermat. Beberapa teorema sederhana; yang lain membutuhkan ratusan halaman untuk dibuktikan. Teorema empat warna adalah teorema besar pertama yang dibuktikan dengan bantuan komputer.

Teorema adalah hasil utama dalam matematika. Teorema diberi nama, dinomori, dan dirujuk. Suatu teorema dapat memiliki korolari, lemma, dan generalisasi. Proses pembuktian teorema merupakan inti dari penelitian matematika.

• Pernyataan terbukti benar secara logika.
• Berdasarkan aksioma dan hasil sebelumnya
• Contoh: Teorema Pythagoras, Teorema Terakhir Fermat
• Bukti adalah apa yang menetapkan kebenaran.