 Conceptos de postulados, teorema, corolario, lema.

Postulados: Postulado o axioma es aquella expresión que presenta una verdad sin

demostraciones ni evidencias, pero que es admitida aun pese a la falta de pruebas. La
aceptación del postulado está dada por la inexistencia de otras expresiones a las que pueda
referirse y por la necesidad de emplearlo en un razonamiento posterior.

Los postulados, por lo tanto, son proposiciones que permiten desarrollar juicios lógicos.

Postulados en la ciencia

A nivel general, puede decirse que la ciencia habla de postulados para referirse a aquellas
expresiones que recopilan la experiencia respecto a una idea. Son proposiciones que
permiten fundamentar aquello que se ve y que, hasta el momento, no han sido demostradas
como falsas. Por lo tanto, las proposiciones científicas pueden constituir el punto de partida
de un razonamiento.
La geometría, por su parte, acepta las proposiciones como supuestos que se toman para
demostrar algo, mientras que la matemática en sentido más amplio entiende los postulados
como fórmulas teóricas aceptadas únicamente por convención.

Postulados de Euclides

Las teorías matemáticas que forman parte de la modernidad se apoyan en varios postulados.
En el pasado, se creía que cualquier teoría podía convertirse en una serie de axiomas y
fórmulas, pero con el tiempo los científicos se dieron cuenta de que esto no sería posible.
Entre los postulados matemáticos más celebrados se encuentran los de Euclides, los cuales
se detallan en el tratado de geometría clásica titulado Los Elementos, publicado alrededor
del año 300 a. C.
Estos postulados son cinco, y el matemático griego Euclides los concibió con la intención
de exponer el saber geométrico de la Grecia clásica. Veamos a continuación la lista
completa:
1. Un segmento de recta se puede determinar partiendo de cualquier par de puntos
diferentes;
2. Es posible extender de forma indefinida un segmento de recta en una línea;
3. Tomando un centro y un radio cualesquiera es posible elaborar una circunferencia;
4. No existen dos ángulos rectos diferentes, sino que son todos iguales;
5. Al cortar dos líneas rectas con una tercera de forma que al sumar los dos ángulos
interiores de un lado el resultado sea menor que la suma de dos rectos, si las dos
rectas restantes se prolongasen se cortarían por el lado de los ángulos menores.

Teorema: es un enunciado que puede ser demostrado como verdadero

mediante operaciones matemáticas y argumentos lógicos.

En matemática, un teorema es una proposición teórica, enunciado o fórmula que incorpora

una verdad, axioma o postulado que es comprobada por otros conjuntos de teorías o
fórmulas. Un teorema también es una regla o ley que se expresa en forma de ecuaciones y /
o fórmulas matemáticas.

En lógica, un teorema es una proposición deducida por premisas y asumpciones de un

sistema siendo ideas o creencias generalmente aceptadas como verdaderas.

La diferencia entre un teorema y un axioma o postulado es que el primero es una verdad

comprobable en cambio un axioma es una verdad que se asume como tal pero que no ha
sido comprobada. Axioma es un concepto más antiguo y sinónimo del concepto moderno
postulado.

Corolario: Es una proposición que no necesita ser verificada, ya que se deduce muy
fácilmente de lo demostrado. Casi siempre, el corolario sigue inmediatamente a un teorema.
Un ejemplo de un corolario en campo de la matemática puede ser el siguiente: Tomando en
cuenta el teorema “En todo triángulo, los ángulos internos son igual a 180º”. Se
desprende corolario A; 90º es la suma de los ángulos agudos del mismo. Corolario B; En un
triángulo no puede existir más de un ángulo recto ni más de uno obtuso.

La palabra hace referencia a una afirmación correspondiente a un hecho previamente

demostrado, es decir, la misma no puede ser refutada ya que cuenta con la evidencia
suficiente que la verifica de manera automática. Esto ocurre mucho en el área de las
matemáticas como en el caso de un teorema corolario.

De igual manera también puede ser aplicado en el campo de la lógica, como por ejemplo el
caso del corolario de la individualidad, que expresa el hecho de que cada individuo
construye su propia realidad en base a las experiencias vividas. Desde el punto de vista
etimológico proviene del latín corollarium, su significado era ambiguo, tanto para referirse
a una pequeña corona, como para expresar el hecho de dar una propina.

Lema: Es una demostración (proposición o teorema), que va antes de otro teorema

porque es necesario para la demostración de éste. Viene del griego que significa «cualquier
cosa que es recibida».
Ciertos lemas demostrados son más famosos que el teorema para el que fueron creados,
desempeñando a veces la función de teorema. Muchos lemas son de hecho muy celebrados
y generales y se usan por doquier como resultados auxiliares en muchas ramas de la
matemática.