Contabilidad
A veces se compara a los axiomas con semillas, porque de ellos surge toda la teoría de la cual son axiomas.
Un axioma es una premisa que se considera «evidente» y se acepta sin requerirdemostración previa. En un sistema hipotético-deductivo es toda proposición no deducida (de otras), sino que constituye una regla general de pensamiento lógico, por oposición a los postulados.[1]
Enmatemática, 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 lasconsideradas «verdades evidentes», porque permiten deducir las demás fórmulas.
En lógica matemática un postulado es una proposición no necesariamente evidente: una fórmula bien formada (planteada) de unlenguaje 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
Axioma
Los axiomas son ciertas fórmulas enun lenguaje que son universalmente válidas, esto es fórmulas satisfechas por cualquier estructura y por cualquier función variable. En términos coloquiales son enunciados verdaderos en cualquier mundoposible, bajo cualquier interpretación posible, con cualquier asignación de valores. Comúnmente se toma como axioma un conjunto mínimo de tautologías suficientes para probar una teoría.
Ejemplo: Encálculo proposicional es común tomar como axiomas lógicos todas las fórmulas siguientes:
1.
2.
3. ,
4. Postulados matemáticos
5. Los postulados son fórmulas específicas de unateoría que se aceptan solamente por acuerdo. Razonando acerca de dos estructuras diferentes, por ejemplo los números naturales y los números enteros, pueden comprender los mismos axiomas. Sin embargolos postulados expresan lo que es esencial de una estructura, o un conjunto de éstas. A diferencia de los axiomas lógicos, los postulados no son tautologías.
6. Cualquier teoría matemática moderna...
Regístrate para leer el documento completo.