Axioma

Axioma (sistema axiomático de la lógica). Son enunciados elegidos de la teoría lógica como punto de partida y que a partir de ellos se generan otros enunciados denominados teoremas [v], mostrando que son lógicamente implicados por los axiomas [v. Leyes del pensamiento]. Aristóteles lo definió como una "proposición que se impone inmediatamente al espíritu", que, ha diferencia de los teoremas no necesitan ser demostados. En al lógica se le entiende como "enunciados primitivos" (en ocasiones llamados "postulados" ) aceptados como verdaderos sin probar su validez.