teorema






¿Que es Teorema?
Un teorema es una fórmula bien formada que puede ser demostrada dentro de un sistema formal. Demostrar teoremas es un asunto central en la lógica y la matemática.
Unteorema generalmente posee un número de premisas que deben ser enumeradas o aclaradas de antemano. Luego existe una conclusión, una afirmación lógica o matemática, la cual es verdadera bajo lascondiciones dadas. El contenido informativo del teorema es la relación que existe entre las hipótesis y la tesis o conclusión.
Se llama corolario a una afirmación lógica que sea consecuencia inmediata de unteorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.
Terminología en Matemáticas
En matemática una afirmación debe ser interesante o importante dentro de lacomunidad matemática para ser considerada un teorema. Las afirmaciones menos importantes se denominan:
Lema: una afirmación que forma parte de un teorema más amplio. El lema de Gauss y el lema de Zorn,por ejemplo, son considerados demasiado importantes per se para algunos autores, por lo cual consideran que la denominación lema no es adecuada.
Corolario: una afirmación que sigue inmediatamente aun teorema. Una proposición A es un corolario de una proposición o teorema B si A puede ser deducida sencillamente de B.
Proposición: una afirmación o resultado no asociado a ningún teorema enparticular.
Una afirmación matemática que se cree verdadera pero no ha sido demostrada se denomina . Por ejemplo: la conjetura de Goldbach o la hipótesis de Riemann
Derivada del latín theorema, lapalabra teorema consiste en una proposición que puede ser demostrada de manera lógica a partir de un axioma o de otros teoremas que fueron demostrados con anticipación. Este  de demostración se lleva a cabomediante ciertas reglas de inferencia.
El teorema, por lo tanto, puede ser descripto como una afirmación de importancia. Existen otras de menor rango, como ocurre con el lema (que pertenece a un...