Significado de "axiomatizar" en el diccionario de español

Un axioma es una proposición que se considera «evidente» y se acepta sin requerir demostración previa. En un sistema hipotético-deductivo es toda proposición no deducida, sino que constituye una regla general de pensamiento lógico. En lógica y matemáticas, un axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente los axiomas se eligen de las consideradas «afirmaciones evidentes», porque permiten deducir las demás fórmulas. En lógica un postulado es una proposición no necesariamente evidente: una fórmula bien formada de un lenguaje formal utilizada en una deducción para llegar a una conclusión. En matemática se distinguen dos tipos de proposiciones: axiomas lógicos y postulados.