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.