un axioma es una "verdad evidente" sobre la cual descansa el resto del conocimiento o sobre la cual se construyen otros conocimientos. En matemáticas un axioma no es necesariamente una verdad evidente, sino una expresión lógica utilizada en una deducción para llegar a una conclusión. En matemáticas se distinguen dos tipos de axiomas: axiomas lógicos y axiomas no-lógicos