.PNG.html)
Teorema adalah sebuah pernyataan, sering dinyatakan dalam bahasa alami , yang dapat dibuktikan atas dasar asumsi yang dinyatakan secara eksplisit ataupun yang sebelumnya disetujui. Dalam logika , sebuah teorema adalah pernyataan dalam bahasa formal yang saat diturunkan dengan mengaplikasikan aturan inferensi dan aksioma dari sebuah sistem deduktif.
Teorema dari sejumlah fungsi memiliki nama lain:
- Identitas - digunakan untuk teorema yang menampakkan persamaan antara 2 pernyataan matematika.
- Lema - pra-teorema. Pernyataan proposisi yang diikuti dengan bukti yang sedikit atau tidak ada sama sekali dari sebuah teorema atau definisi lain. Yaitu, proposisi B adalah korolar proposisi A jika B bisa dideduksikan dari A.
- Proposisi - pernyataan yang tak dikaitkan dengan "teorema" apapun.
- Klaim - hasil menarik yang diperlukan atau bebas.
- Aturan - digunakan untuk teorema tertentu seperti aturan Bayes dan aturan Cramer , yang mendirikan formula yang berguna
Banyak matematikawan yang juga menggunakan nama lain untuk teorema, seperti postulat , , dll.
Konjektur adalah sebuah pernyataan yang belum terbukti namun dianggap benar. Sebagai contoh konjektur Goldbach . Konjektur terkenal lainnya termasuk konjektur Collatz dan hipotesis Riemann .