Axioma es una verdad tan obvia, evidente y fundamental que no está sujeta a discusión, debate o necesita demostración, es el cimiento incuestionable sobre el cual se sostiene o se construye todo lo demás.
Premisa evidente e indemostrable; punto de partida deductivo, «El todo es mayor que cualquiera de sus partes»; principio de no contradicción.
El axioma no admite contradicción ni ponderación; si cae el axioma, colapsa la lógica del sistema.
lo que debe ser
Un axioma ontológico predica directamente sobre la existencia fáctica y las propiedades esenciales de los entes; es decir, es una proposición fundamental, indemostrable e irreductible referida a la estructura misma del ser y de la realidad en cuanto tal. Dentro de la metafísica y la ontología formal, opera como un punto de partida necesario: no requiere demostración porque cualquier intento de refutarlo presupone tácitamente su validez.
Un axioma epistemológico rige las condiciones del conocimiento humano.
Un axioma lógico-formal rige la sintaxis o consistencia de un sistema deductivo.
