Teorema adalah kebutuhan dan perhatian khusus dalam matematika dan ketika berbicara tentang mereka, referensi dibuat untuk pernyataan-pernyataan yang dapat ditunjukkan sebagai benar dalam kerangka logis.
Umumnya, teorema terdiri dari sejumlah kondisi yang dapat disebutkan atau diantisipasi sebelumnya yang disebut jawaban. Setelah ini, kesimpulan atau pernyataan matematis akan muncul, yang jelas akan selalu benar dalam kondisi pekerjaan yang bersangkutan, yaitu, pertama-tama dalam isi informatif teorema, apa yang akan ditetapkan adalah hubungan yang ada antara yang hipotesis dan tesis atau penyelesaian pekerjaan.
Tetapi ada sesuatu yang tidak dapat dihindari untuk matematika ketika pernyataan tertentu masuk akal untuk menjadi teorema dan itu harus cukup menarik di dalam dan untuk komunitas matematika, jika tidak dan sayangnya, itu hanya bisa menjadi moto, akibat wajar atau hanya proposisi., tidak pernah bisa menjadi teorema.
Dan untuk memperjelas masalah ini sedikit lagi, perlu juga untuk membedakan konsep yang kita sebutkan di atas, sehingga, bahkan jika kita bukan bagian dari komunitas matematika, kita dapat mengenali ketika itu adalah teorema, lemma, akibat wajar atau proposisi.
Lemma adalah proposisi, tetapi merupakan bagian dari teorema yang lebih panjang. Korolari untuk bagiannya adalah pernyataan yang mengikuti teorema dan akhirnya proposisi adalah hasil yang tidak terkait dengan teorema tertentu.
Pada awalnya kita menunjukkan bahwa teorema adalah pernyataan yang hanya dapat dibuktikan dalam kerangka logis, sedangkan dengan kerangka logis kita mengacu pada serangkaian aksioma atau sistem aksiomatik dan proses inferensi yang memungkinkan kita untuk menurunkan teorema dari aksioma dan teorema yang telah diturunkan sebelumnya.
Di sisi lain, barisan berhingga dari rumus-rumus logika yang terbentuk dengan baik akan disebut sebagai pembuktian teorema ini.
Meskipun tidak dengan perhatian khusus yang diberikan matematika pada teorema, disiplin ilmu seperti fisika atau ekonomi biasanya menghasilkan pernyataan yang disimpulkan dari yang lain dan itu juga disebut teorema.
