Teorem

Matematik ve mantıkta, daha önce kurulmuş veya kabul edilmiş ifadelerden çıkarılabilen bir ifade veya formül.