Teorem, matematikte ve mantıkta, doğruluğu aksiyomlar ve daha önce kanıtlanmış diğer teoremler aracılığıyla ispatlanabilen bir önermedir. Bir teoremin kanıtı, önermenin doğru olduğunu kesin bir şekilde gösteren mantıksal bir argümandır.
Teoremler, matematiksel bilginin temel yapı taşlarıdır ve genellikle yeni sonuçlar elde etmek ve daha karmaşık problemleri çözmek için kullanılırlar. Teoremlerin formülasyonu genellikle "Eğer... ise..." şeklinde olur ve bir koşulun (hipotez) sağlanması durumunda bir sonucun (tez) da doğru olacağını ifade eder.