teorem
Teorem, diğer teoremler gibi daha önceki ifadelere ve aksiyomlar gibi önceden kabul edilmiş ifadelere dayanılarak kanıtlanmış bir bildiridir. Bir teoremin yayınlanması, genellikle bir ifadenin ifadesinin kanıtı olarak yorumlanır, ancak farklı bir çıkarım sistemi kullanılıyorsa, yayım yasasının amaçlarına bağlı olarak farklı yorumlar üretebilir. Teoremin iki bileşeni vardır: hipotez ve sonuç. Matematik teorisine delil, sonucun her bir hipotez için gerekli sonuca işaret eden mantıksal bir argümandır; eğer hipotez doğruysa sonuçların başka varsayımlar olmaksızın da doğru olması gerekir. Dolayısıyla, bir teoremin kavramı, ampirik bilimsel teori kavramının aksine, temelde tümdengeldir. Tam simgesel formda orantılı hesap olarak yazılabilse de, teorem çoğu zaman İngilizce olarak bir dilde ifade edilir.