Kata Theorem berasal dari teorema Latin, itu bukan kebenaran yang jelas, tetapi dapat dibuktikan. Teorema timbul sebagai hasil sifat intuitif dan bersifat eksklusif bersifat deduktif, sebab itulah jenis penaakulan logik (bukti) diperlukan untuk diterima sebagai kebenaran mutlak.
Beberapa contoh teorema adalah berikut: kuadrat dari jumlah hipotenus sama dengan jumlah kuadrat kaki. Sekiranya nombor berakhir dengan sifar atau lima ia boleh dibahagi dengan lima.
Dalam postulat (kebenaran intuitif dengan bukti yang cukup untuk diterima) seperti teorema, terdapat syarat (hipotesis) dan kesimpulan (tesis) yang dianggap dipenuhi sekiranya bahagian atau hipotesis bersyarat itu sah. Teorema memerlukan bukti, yang tidak lebih dari sekumpulan pertimbangan gabungan yang disokong oleh postulat atau teorema atau undang-undang lain yang sudah terbukti.
Adalah sangat penting untuk mengambil kira timbal balik teorema. Ini menjadi teorema lain yang hipotesisnya adalah tesis pertama (teorema langsung) dan yang tesisnya adalah hipotesis teorema langsung. Sebagai contoh:
Teorema langsung, jika nombor berakhir dengan sifar atau lima (hipotesis), ia akan dibahagikan dengan lima (tesis).
Teorema timbal balik, jika nombor dibahagi dengan lima (hipotesis), ia mesti berakhir dengan sifar atau lima (tesis). Anda harus sangat berwaspada kerana teorema timbal balik hampir tidak selalu benar.
Beberapa teorema paling terkenal dalam sejarah adalah: Pythagoras ', Thales, Fermat, Euclides, Bayes, had tengah, nombor perdana, Morley, antara lain.
