Diferencia entre revisiones de «Teorema»

Contenido eliminado Contenido añadido
Sin resumen de edición
Etiquetas: Edición desde móvil Edición vía web móvil
SeroBOT (discusión · contribs.)
m Revertidos los cambios de 200.6.191.90 (disc.) a la última edición de 190.26.217.106
Etiqueta: Reversión
Línea 2:
{{otros usos}}[[Archivo:Entidades sintácticas 2.svg|thumb|230px|Esta imagen muestra la relación entre las [[Cadena de caracteres|cadenas de caracteres]],. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]]
 
Un '''teorema''' es una hiproposiciónproposición cuya verdad se demuestra. En [[matemáticas]], es toda proposición que partiendo de un supuesto ([[hipótesis (lógica)|hipótesis]]), afirma una racionabilidad ([[tesis]]) no evidente por sí misma.<ref>[http://www.wordreference.com/definicion/teorema WordReference: teorema]</ref>
 
También puede decirse que un teorema es una fórmula bien formada que puede ser [[Demostración matemática|demostrada]] dentro de un [[sistema formal]], partiendo de [[axioma]]s u otros teoremas. Demostrar teoremas es un asunto central en la [[lógica matemática]]. Los teoremas también pueden ser expresados en [[lenguaje formalizado|lenguaje natural formalizado]].