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 |
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
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]].
|