theorem

O termo theorem refere-se a uma proposição matemática ou lógica que tem sido rigorosamente provada através de um encadeamento lógico de passos, partindo de axiomas ou de outros teoremas já estabelecidos. Diferente de uma hipótese ou de uma teoria científica, que dependem de evidências empíricas e podem ser refutadas, um theorem é considerado uma verdade absoluta e imutável dentro do sistema lógico em que foi provado.

Nuances Semânticas e Distinções

É fundamental não confundir theorem com theory. Enquanto em português a palavra "teoria" pode ser usada tanto no sentido científico quanto no sentido coloquial (como um palpite), em inglês theory refere-se a um sistema abrangente de ideias que explica algo, mas que ainda pode estar sujeito a revisões. Já o theorem é a conclusão final e definitiva de uma prova matemática.

Outra distinção importante ocorre entre theorem e lemma ou corollary. Um lemma é essencialmente um "teorema auxiliar", uma proposição menor usada como degrau para provar um theorem mais complexo. Por outro lado, um corollary é uma consequência direta e imediata que decorre logicamente de um theorem já provado.

Atenção a Falsos Cognatos e Traduções

Embora a tradução direta seja "teorema", o estudante deve ter cuidado para não utilizar a palavra theorem em contextos onde se deseja expressar uma "teoria" ou "suposição".

❌ Errado: I have a theorem about why the store closed. (Eu tenho um teorema sobre por que a loja fechou.)
✅ Correto: I have a theory about why the store closed. (Eu tenho uma teoria sobre por que a loja fechou.)

Uso Gramatical

O termo é um substantivo contável. Portanto, deve ser precedido por artigos (a theorem, the theorem) ou utilizado no plural (theorems) quando se referir a múltiplas proposições provadas.