Diferencia entre revisiones de «Primer principio»

Contenido eliminado Contenido añadido
Referencié la introducción e hice cambios en la sección de filosofía
→‎En matemática: Reescribí completamente la sección
Línea 18:
 
== En matemática ==
{{AP|Axioma}}
 
En [[matemática]]s, los primeros principios se conocen como [[axioma]]s o [[postulado]]s. Los mismos consisten en [[Fórmula bien formada|fórmulas]] de un [[lenguaje formal]] que se toman como punto de partida para demostrar otras fórmulas del lenguaje mediante la aplicación de [[Regla de inferencia|reglas de inferencia]]. Muchas partes de la matemática están axiomatizadas, lo que significa que existe un conjunto de axiomas de los cuales es posible deducir todas las verdades de esa parte de la matemática. Por ejemplo, de los [[axiomas de Peano]] es posible deducir todas las verdades de la aritmética (y por extensión, de otras partes de la matemática). Dos axiomas particularmente importantes y controversiales fueron el [[Quinto postulado de Euclides|quinto postulado]] de la [[geometría euclidiana]], y el [[axioma de elección]] en la [[teoría de conjuntos]].
Un primer principio es uno que no puede ser deducido de ningún otro. El clásico ejemplo es el de la geometría de [[Euclides]] (ver [[elementos de Euclides]]); sus cientos de propuestas pueden ser deducidas de un conjunto de definiciones, postulados y nociones comunes: los tres de los cuales constituyen los '''primeros principios'''.
 
== En física ==