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.
En matemática, un axioma no siempre es una verdad evidente, sino una fórmula bien formada utilizada en una deducción para llegar a una conclusión.
No hay comentarios:
Publicar un comentario