Teorema
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, sublema, dll.
Konjektur adalah sebuah pernyataan yang belum terbukti namun dianggap benar. Sebagai contoh konjektur Goldbach. Konjektur terkenal lainnya termasuk konjektur Collatz dan hipotesis Riemann.