Diferencia entre revisiones de «Axioma»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Deshecha la edición 38865331 de 187.139.151.33 (disc.) |
||
Línea 1:
[[Archivo:Avocado Seedling.jpg|thumb|150px|right|A veces se compara a los axiomas con [[semilla]]s, porque de ellos surge toda la teoría de la cual son axiomas.]]
En [[lógica]] y [[matemática]], un '''axioma''' o '''postulado''' es una [[fórmula bien formada]] de un [[lenguaje formal]] que se acepta sin demostración, como punto de partida para demostrar otras fórmulas.
Tradicionalmente, los axiomas se eligen de entre las demás fórmulas por ser "verdades evidentes" y porque permiten deducir a las demás fórmulas deseadas. Sin embargo, no todos los teóricos están de acuerdo con esta aproximación.
| |||