Teorem

Verilen varsayımlara dayanılarak kanıtlanması gereken bir hükümden oluşan önerme. p bir doğru önerme olsun. Bu durumda “p var ise q vardır” şeklindeki bir ifade teoremdir. Burada p hipotez, q hükümdür.
Teoremin kanıtlanabilmesi için; tanım, aksiyom ya da başka önermelerden yararlanılır. Kanıt yolu genellikle p=1′den hareketle q=1 olduğunu göstermektir.