(gr. theorema; lat. theorema; fr. Théorème; al. Theorem; it. Teorema).
Qualquer proposição demonstrável. Esse termo ingressou na linguagem matemática já na Antiguidade (v. Aristóteles, Met., XIV, 2, 1090 a 14), mas conservou, fora da linguagem matemática, o significado de proposição não primitiva mas derivada ou derivável de outras proposições. [Abbagnano]
(do lat. tardio e do gr. theorema)
Em uma teoria axiomática (geometria, aritmética. lógica etc.) em geral. uma proposição que pode ser demonstrada tomando-se como base os axiomas, ou seja, que resulta de uma dedução válida cujas premissas são os axiomas da teoria. Uma vez demonstrado o teorema. este pode servir para a demonstração de novos teoremas. Ex.: teorema de Pitágoras (em um triângulo retângulo, o quadrado da hipotenusa é igual à soma dos quadrados dos catetos). [Japiassu]