Geometria

La Geometría, es una rama de la matemática que se ocupa del estudio de las propiedades de las figuras geométricas en el plano o el espacio, como son: puntos, rectas, planos, politopos (incluyendo paralelas, perpendiculares, curvas, superficies, polígonos, poliedros, etc.).

Un axioma es una proposición que se considera «evidente» y se acepta sin requerir demostració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.

En lógica y matemáticas, 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 las consideradas «afirmaciones evidentes», porque permiten deducir las demás fórmulas.

En lógica un postulado es una proposición no necesariamente evidente: una fórmula bien formada (planteada) de un lenguaje 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.

Un postulado es una proposición no evidente por sí misma, ni demostrada, pero que se acepta ya que no existe otro principio al que pueda ser referida.

Difiere del axioma en que, en un sistema hipotético-deductivo, es toda proposición no deducida de otra, sino que constituye una regla general de pensamiento lógico (en oposición a los postulados).

También se denomina postulado a los principios sustentados por una determinada persona, un grupo, o una organización.

Por ejemplo, en Filosofía y en Psicología los diversos enfoques o escuelas suelen diferenciarse en una serie de proposiciones filosóficas. A éstas se les nombra postulados, como definiciones opcionales que delimitan una concepción de cada disciplina (tipo de método que utiliza, objetivo de estudio, etcétera).

´

Un teorema es una afirmación que puede ser demostrada dentro de un sistema formal. Demostrar teoremas es un asunto central en la lógica y la matemática.

Un teorema generalmente posee un número de premisas que deben ser enumeradas o aclaradas de antemano. Luego existe una conclusión, una afirmación lógica o matemática, la cual es verdadera bajo las condiciones dadas. El contenido informativo del teorema es la relación que existe entre la hipótesis y la tesis o conclusión.

Se llama corolario a una afirmación lógica que sea consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.

Un corolario es un término que se utiliza en las matemáticas y en la lógica, para designar la evidencia de un teorema o definición ya demostrada, sin necesidad de tener

...