Teorema

Teorema In matematica e in logica, ogni proposizione che può essere dimostrata mediante un ragionamento logico, a partire da un sistema di assiomi o di proposizioni la cui verità sia già stata dimostrata.

In un teorema si distinguono due parti: l'enunciato e la dimostrazione. L'enunciato, a sua volta, è composto dal soggetto, ovvero l'argomento cui il teorema si riferisce, che può essere ad esempio una figura geometrica di cui si vuole dimostrare una proprietà; dall'ipotesi, il complesso di informazioni sul soggetto di cui si dispone, e infine dalla tesi, che rappresenta ciò che si vuole dimostrare. La dimostrazione, invece, è il ragionamento, o l'argomentazione, che permette di provare la verità della tesi, a partire dall'ipotesi.

In particolare, si dice lemma un teorema che serva per dimostrare un altro teorema, e corollario una proposizione che sia una conseguenza immediata di un teorema o di un postulato.