Back እርግጥ Amharic مبرهنة Arabic উপপাদ্য Assamese Teorem Azerbaijani Теорема Bashkir Тэарэма Byelorussian Тэарэма BE-X-OLD Теорема Bulgarian উপপাদ্য Bengali/Bangla Teorema BS
| Teorema | |
|---|---|
proposición (es)  y conclusión (es) | |
| Más información | |
| Basáu en |
sistema axiomático (es) |
 | |
Un teorema ye una proposición qu'afirma una verdá demostrable. En matemátiques, ye toa proposición que partiendo d'un supuestu (hipótesis), afirma una racionabilidad (tesis) non evidente por sigo mesma.[1]
Tamién puede dicise qu'un teorema ye una fórmula bien formada que puede ser demostrada dientro d'un sistema formal, partiendo de axomes o otros teoremas. Demostrar teoremas ye un asuntu central na lóxica matemática. Los teoremas tamién pueden ser espresaos en llinguaxe natural formalizáu.
Los teoremas xeneralmente tienen un númberu de premises que tienen de ser numberaes o esclariaes de mano. La conclusión del teorema ye una afirmación lóxica o matemática que ye verdadera so les condiciones daes. El conteníu informativo del teorema ye la rellación qu'esiste ente les hipótesis y la tesis o la conclusión.
Llámase corolariu a una afirmación lóxica que ye consecuencia inmediata d'un teorema, pudiendo ser demostrada usando les propiedaes del teorema de referencia.