Na
matemática, um
teorema é uma afirmação que pode ser
provada como falsa através de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como
axiomas.
Prova é o processo de mostrar que um teorema está correto. O termo
teorema foi introduzido por
Euclides, em
Elementos, para significar "afirmação que pode ser provada". Em
grego, originalmente significava "espetáculo" ou "festa". Atualmente, é mais comum deixar o termo "teorema" apenas para certas afirmações que podem ser provadas e de grande "importância matemática", o que torna a definição um tanto
subjetiva.