Ένα θεώρημα είναι μια αποδεδειγμένη ιδέα στα μαθηματικά. Τα θεωρήματα αποδεικνύονται χρησιμοποιώντας τη λογική και άλλα θεωρήματα που έχουν ήδη αποδειχθεί. Ένα θεώρημα που κάποιος πρέπει να αποδείξει ώστε να μπορέσει να αποδείξει ένα άλλο θεώρημα ονομάζεται λήμμα. Τα θεωρήματα αποτελούνται από δύο μέρη, υπάρχουν οι υποθέσεις και τα συμπεράσματα.
Τα θεωρήματα χρησιμοποιούν την επαγωγή, σε αντίθεση με τις θεωρίες που είναι εμπειρικές.
Ορισμένα θεωρήματα είναι τετριμμένα, προκύπτουν άμεσα από τις προτάσεις. Άλλα θεωρήματα ονομάζονται "βαθιά", η απόδειξή τους είναι μακρά και δύσκολη. Μερικές φορές, τέτοιες αποδείξεις αφορούν άλλες περιοχές των μαθηματικών ή δείχνουν συνδέσεις μεταξύ διαφορετικών περιοχών. Ένα θεώρημα μπορεί να είναι απλό στη διατύπωσή του και όμως να είναι βαθύ. Ένα εξαιρετικό παράδειγμα είναι το τελευταίο θεώρημα του Φερμά, και υπάρχουν πολλά άλλα παραδείγματα απλών αλλά βαθιών θεωρημάτων στη θεωρία αριθμών και τη συνδυαστική, μεταξύ άλλων περιοχών.
Υπάρχουν και άλλα θεωρήματα για τα οποία είναι γνωστή η απόδειξη, αλλά δεν είναι εύκολο να καταγραφεί. Μεταξύ των καλύτερων παραδειγμάτων είναι το θεώρημα των τεσσάρων χρωμάτων και η εικασία του Κέπλερ. Και τα δύο αυτά θεωρήματα είναι γνωστό ότι ισχύουν μόνο αν τα αναγάγουμε σε μια υπολογιστική αναζήτηση, η οποία στη συνέχεια επαληθεύεται από ένα πρόγραμμα υπολογιστή. Στην αρχή, πολλοί μαθηματικοί δεν αποδέχονταν αυτή τη μορφή απόδειξης, αλλά έχει γίνει ευρύτερα αποδεκτή τα τελευταία χρόνια. Ο μαθηματικός Doron Zeilberger έφτασε μάλιστα στο σημείο να ισχυριστεί ότι αυτά είναι ενδεχομένως τα μόνα μη τετριμμένα αποτελέσματα που έχουν αποδείξει ποτέ οι μαθηματικοί. Πολλά μαθηματικά θεωρήματα μπορούν να αναχθούν σε πιο απλούς υπολογισμούς, συμπεριλαμβανομένων πολυωνυμικών ταυτοτήτων, τριγωνομετρικών ταυτοτήτων και υπεργεωμετρικών ταυτοτήτων.
