Conceptos Geometricos

AXIOMA
Un axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente losaxiomas se eligen de las consideradas afirmaciones evidentes», porque permiten deducir las demás fórmulas.



POSTULADO
Un postulado es una proposición no evidente por símisma, ni demostrada, pero que se acepta ya que no existe otro principio del que pueda ser deducida. Lógicamente un postulado es similar a un axioma pero difiere de ellos enque, en un sistema hipotético-deductivo, es toda proposición no deducida de otra, sino que constituye una regla general de pensamiento lógico.




TEOREMAUn teorema es una fórmula bien formada que puede ser demostrada dentro de un sistema formal, partiendo de axiomas u otros teoremas. Demostrar teoremas es un asunto central en la lógicamatemática. Los teoremas también pueden ser expresados en lenguaje natural formalizado.





COROLARIO
Un corolario es un término que se utiliza en matemáticas yen lógica para designar la evidencia de un teorema o de una definición ya demostrados, sin necesidad de invertir esfuerzo adicional en su demostración. En pocas palabras, es unaconsecuencia tan evidente que no necesita demostración. A menudo se trata de una inferencia, si bien la distinción entre teorema y corolario es tan subjetiva como entre lema yteorema.




LEMA
En matemáticas, un lema es una proposición demostrada, utilizada para establecer un teorema menor o una premisa auxiliar que forma parte de unteorema más general. El término proviene del griego λήμμα, que significa cualquier cosa que es recibida, tal como un regalo, una dádiva o un soborno.