Teorem
Teorem, matematik ve mantıkta, kanıtlanmış bir önerme veya ifade. Geometride, bir önerme genellikle bir problem (gerçekleştirilmesi gereken bir yapı) veya bir teorem (kanıtlanması gereken bir ifade) olarak kabul edilir. Örneğin, "İki doğru kesişiyorsa, her bir dikey açı çifti eşittir" ifadesi bir teoremdir. Cebirin sözde temel teoremi, tek değişkenli her (karmaşık) polinom denkleminin en az bir karmaşık kökü veya çözümü olduğunu ileri sürer. Yunanlılar ayrıca bir teorem ile bir problem arasında yer alan ve önerileni üretmeye veya bulmaya yönelik bir önermeyi, porizmi de tanımışlardır.