Teorem
Teorem ialah satu pernyataan yang telah dibuktikan berdasarkan pernyataan – pernyataan terdahulu, contohnya teorem-teorem yang lain, dan pernyataan-pernyataan yang telah diterima sebelumnya, seperti aksiom-aksiom. Penerbitan sesuatu teorem sering diinterpretasikan sebagai bukti kebenaran sesebuah ungkapan, tetapi jika sistem deduksi yang berbeza digunakan, ia boleh menghasilkan interpretasi yang berbeza, bergantung pada maksud-maksud hukum penerbitannya. Teorem mempunyai dua komponen, iaitu hipotesis dan kesimpulan. Bukti kepada teorem matematik ialah satu hujah logik yang menunjukkan kesimpulan adalah natijah yang perlu untuk setiap hipotesis, jika hipotesis adalah benar maka kesimpulan mesti juga benar, tanpa sebarang anggapan-anggapan yang lain. Jadi konsep sesebuah teorem secara asasnya adalah
deduktif, berbeza dengan konsep teori saintifik yang
empirikal. Walaupun boleh ditulis dalam bentuk simbolik sepenuhnya seperti kalkulus berkadar, teorem sering diungkapkan dalam bahasa sejadi seperti bahasa Inggeris.