Teorema-Axioma-Postulado-Corolario

Trabajo de matematicas # 2
¿Qué es un teorema?
Un teorema es una fórmula bien formada que puede ser demostrada dentro de un sistema formal. Demostrar teoremas es un asunto central en la lógica yla 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 esverdadera bajo las condiciones dadas. El contenido informativo del teorema es la relación que existe entre las hipótesis y la tesis o conclusión.
Un teorema requiere de un marco lógico; este marcoconsistirá en un conjunto de axiomas (sistema axiomático) y un proceso de inferencia, el cual permite derivar teoremas a partir de los axiomas y teoremas que han sido derivados previamente.

¿Qué es unPostulado?
Los postulados son fórmulas específicas de una teoría que se aceptan solamente por acuerdo. Razonando acerca de dos estructuras diferentes, por ejemplo los números naturales y los númerosenteros, pueden comprender los mismos axiomas. Sin embargo los postulados expresan lo que es esencial de una estructura, o un conjunto de éstas. A diferencia de los axiomas lógicos, los postulados noson tautologías.
Cualquier teoría matemática moderna se fundamenta en un conjunto de postulados. Aunque se pensaba que, en principio, toda teoría se podía axiomatizar y formulizar, posteriormente esto sedemostró imposible.
En Matemática son célebres los postulados de Euclides, expuestos en los Elementos, el tratado fundamental de la Geometría clásica. Siglos después, cuando se cuestionó el quintopostulado de Euclides, surgió la llamada Geometría no euclidiana.
¿Qué es Axioma?
Un axioma es una proposición que se considera «evidente» y se acepta sin requerir demostración previa. En un sistemahipoté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.1
En lógica y matemáticas, un axioma es...