Teorema: Perbedaan antara revisi

 

'''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.