Teorema

Teorema adalah sebuah pernyataan, sering dinyatakan dalam bahasa alami, yang dapat dibuktikan atas dasar asumsi yang dinyatakan secara eksplisit ataupun yang sebelumnya disetujui. Dalam logika, sebuah teorema adalah pernyataan dalam bahasa formal yang saat diturunkan dengan mengaplikasikan aturan inferensi dan aksioma dari sebuah sistem deduktif.