apa yang dimaksud dengan theorema?

Teorema : Pernyataan yang dapat dibuktikan kebenarannya. biasanya teorema menjadi suatu sarana utk mnjawab permasalahan. contoh : Teorema Phytagoras

Definisi : pernyataan yg bernilai benar karena disepakati, dan tak perlu dibuktikan. contoh : 4x3 = 4+4+4 = 12, 5>3

Lemma : teorema kecil. biasanya muncul sebagai jembatan utk membuktikan teorema yg lebih umum. contoh : Algoritma Euclid
yg berbunyi : "Untuk P bilangan prima, jika P habis membagi ab, maka P habis membagi a atau P habis membagi b". Lemma ini menjadi jembatan untuk teorema berikut : " jika n habis membagi ab dan n dan a tidak mempunyai faktor persekutuan, maka n habis membagi a".

Aksioma/postulat : pernyataan yg dianggap benar karena sudah sangt jelas dan tak perlu dibuktikan, sehingga kebenarannya tdk diragukan lagi. Contoh: "melalui dua titik hanya dapat dibuat 1 garis"

Konjektur/dugaan : pernyataan yg dianggap benar, biasanya berdasarkan data pendukung, dan dugaan ini perlu dibuktikan kebenarannya. Contoh : Konjektur goldbbach yg berbunyi "Setiap bilangan bulat genap yang lebih besar dari 2 dapat ditulis sebagai jumlah dari dua bilangan prima"