Clasificacion de las ciencias segun salazar bondy

Un axioma es una premisa que se considera «evidente» y es aceptada sin requerir una demostración previa. En un sistema hipotético-deductivo, es toda proposición que no se deduce de otras, sino queconstituye una regla general de pensamiento lógico, por oposición a los postulados.1
En matemática, un axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto departida para demostrar otras fórmulas. Tradicionalmente, los axiomas se eligen de entre las consideradas «verdades evidentes» porque permiten deducir las demás fórmulas.
En lógica matemática, unpostulado es un 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 deproposiciones: axiomas lógicos y postulados
Axioma (del griego αξιωμα, lo que parece justo) es una proposición o evidencia que no es susceptible de demostración. Son verdades obvias a la razón humanaque sirven de base a la ciencia.
Los axiomas se refieren a los principios que se aceptan en todas las ciencias, mientras que los postulados se refieren a una ciencia en particular.
Kurt Gödeldemostró a mediados del siglo XX que cualquier sistema axiomático, por definido y consistente que sea, posee serias limitaciones. Siempre habrá una proposición P que sea verdadera, pero no demostrable. Dehecho, Gödel prueba que, en cualquier sistema formal que incluya la aritmética, puede formarse una proposición P que afirme que este enunciado no es demostrable. Si se pudiera demostrar P, el sistemasería contradictorio: no sería consistente. Luego P no es demostrable ¡y por tanto P es verdadero! Este teorema de Gödel a menudo ha sido interpretado en un sentido pesimista, como una especie delimitación esencial del conocimiento humano o algo así (porque implícitamente se presupone que nuestro razonamiento es como una máquina).
Una hipótesis es una fórmula de la que se parte para alcanzar...