Teorema

Il termine Teorema, etimologicamente parlando, è un termine di derivazione greca che sta a significare cosa che si guarda, su cui si specula; sul piano etimologico il termine si avvicina a teoria. In termini matematici, il teorema è un enunciato che viene dimostrato nell'ambito di una teoria formale e che viene presentato come risultato importante in un'esposizione sistematica di una teoria. Un teorema è dunque un'implicazione logica tra due predicati. Se per un'affermazione non si dispone di una dimostrazione interamente soddisfacente, ma solo di una prova che non copre tutta la casistica, allora non si parla di teorema ma di congettura.