Diferencia entre revisiones de «Teorema»
Contenido eliminado Contenido añadido
JSWI |
m Revertidos los cambios de 190.80.246.109 (disc.) a la última edición de SeroBOT 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 proposició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.
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]].
| |||