Teorema é uma dedução lógica que pode ser provada a partir de deduções baseadas em axiomas (ou postulados). Ou seja, é o desdobramento de outros conceitos matemáticos considerados incontestáveis. O teorema precisa ser demonstrado — e essa demonstração pode ocorrer por outros teoremas.

Um exemplo clássico foi deduzido a partir dos trabalhos de Pitágoras, matemático que viveu entre os séculos 4 e 3 a.C. Ele diz o seguinte: "Em qualquer triângulo retângulo, o quadrado do comprimento da hipotenusa é igual à soma dos quadrados dos comprimentos dos catetos".