AXIOMAS Es una fórmula formada de un lenguaje formal que se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente,