Un teorema es una afirmacin que puede ser demostrada dentro de un sistema formal.

Demostrar teoremas es un asunto central en la lgica y la matemtica. Un teorema generalmente posee un nmero de premisas que deben ser enumeradas o aclaradas de antemano. Luego existe una conclusin, una afirmacin lgica o matemtica, la cual es verdadera bajo las condiciones dadas. El contenido informativo del teorema es la relacin que existe entre la hiptesis y la tesis o conclusin. Se llama corolario a una afirmacin lgica que sea consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado

En matemtica una afirmacin debe ser interesante o importante dentro de la comunidad matemtica para ser considerada un teorema. Las afirmaciones menos importantes se denominan:

Lema: una afirmacin que forma parte de un teorema ms amplio. El lema de Gauss y el lema de Zorn, por ejemplo, son considerados demasiado importantes per se para algunos autores, por lo cual consideran que la denominacin lema no es adecuada.

Corolario: una afirmacin que sigue inmediatamente a un teorema. Una proposicin A es un corolario de una proposicin o teorema B si A puede ser deducida sencillamente de B. Proposicin: una afirmacin o resultado no asociado a ningn teorema en particular.

Una afirmacin matemtica que se cree verdadera pero no ha sido demostrada se denomina conjetura o hiptesis. Por ejemplo: laconjetura de Goldbach o la hiptesis de Riemann.
[editar]

Postulado

En los Elementos, Euclides expuso los postulados de laGeometra clsica.

Un postulado es una proposicin no evidente por s misma, ni demostrada, pero que se acepta ya que no existe otro principio al que pueda ser referida.1 Difiere del axioma en que, en un sistema hipottico-deductivo, es toda proposicin no deducida de otra, sino que constituye una regla general de pensamiento lgico (en oposicin a los postulados). 2 Tambin se denomina postulado a los principios sustentados por una determinada persona, un grupo, o una organizacin.3 Por ejemplo, en Filosofa y en Psicologa los diversos enfoques o escuelas suelen diferenciarse en una serie de proposiciones filosficas. A stas se les nombra postulados, como definiciones opcionales que delimitan una concepcin de cada disciplina (tipo de mtodo que utiliza, objetivo de estudio, etctera). As, los puntos de partida de la cognicin, la modificacin de conducta y Gestalt acerca de qu son la mente, la personalidad y la conducta son distintos. A partir de estos postulados se desarroll toda la teora. En toda ciencia -incluso la Fsica, al considerar que existen reglas constantes definibles- se suele disponer de puntos de partida filosficos.

Postulados matemticos
Los postulados son frmulas especficas de una teora que se aceptan solamente por acuerdo. Razonando acerca de dos estructuras diferentes, por ejemplo los nmeros naturales y los nmeros enteros, 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 lgicos, los postulados no son tautologas. Cualquier teora matemtica moderna se fundamenta en un conjunto de postulados. Aunque se pensaba que, en principio, toda teora se poda axiomatizar y formulizar, posteriormente esto se demostr imposible. En Matemtica son clebres los postulados de Euclides, expuestos en los Elementos, el tratado fundamental de la Geometra clsica. Siglos despus, cuando se cuestion el quinto postulado de Euclides, surgi la llamada Geometra no euclidiana. Existen otros, como el postulado de Bertrand, referente a los nmeros primos, y los postulados de Cauchy, enunciados por el matemtico Augustin Louis Cauchy, relativos a vectores.

Corolario
Un corolario (del latn corollarium)1 es un trmino que se utiliza en matemticas y en lgica para designar la evidencia de un teoremao de una definicin ya demostrados, sin necesidad de invertir esfuerzo adicional en su demostracin. En pocas palabras, es una consecuencia tan evidente que no necesita demostracin.

A menudo se trata de una inferencia, si bien la distincin entre teorema y corolario es tan subjetiva como entre lema y teorema

Ampliacin de la etimologa
El vocablo latino corollarium deriva de: a) corlla (ptalos de las flores), que es diminutivo de corna: corona, porque a los actores, en calidad de gratificacin adicional, se les 2 entregaba una coronita. En Roma, as mismo a los espectadores y a los invitados a los banquetes 3 se les otorgaba un corollarium; b) -arium, sufijo abundancial (por las flores de la corona). [editar]Ejemplos A la afirmacin La suma de los ngulos interiores de un tringulo es igual a 180. le sigue el corolario En un tringulo rectngulo la suma de los dos ngulos contiguos a la hipotenusa es igual a 90. Dado que la hipotenusa es la arista ubicada frente al ngulo de 90, la suma de los ngulos del tringulo contiguos a esa lnea es igual a 180 - 90 = 90. A la afirmacin

El ser humano tiene ms cabello que el gorila. le sigue el corolario Los gorilas no tienen folculos pilosos en el rostro. En este caso, la inferencia requiere conocimiento de un parmetro: tales centmetros cuadrados de piel sin folculos pilosos son una cantidad considerable para lograr una diferencia relevante de miles.

Ley matemtica
Una ley (en el sentido matemtico) es el resultado de definir ciertas cantidades y relaciones y luego desarrollar conclusiones lgicas de esa definicin. AXIOMA Un axioma es una proposicin que se considera evidente y se acepta sin requerir demostracin previa. En un sistema hipottico-deductivo es toda proposicin no deducida (de otras), sino que 1 constituye una regla general de pensamiento lgico, por oposicin a los postulados. En lgica y matemticas, un axioma es una premisa que, por considerarse evidente, se acepta sin demostracin, como punto de partida para demostrar otras frmulas. Tradicionalmente los axiomas se eligen de las consideradas afirmaciones evidentes, porque permiten deducir las dems frmulas.

En lgica un postulado es una proposicin no necesariamente evidente: una frmula bien formada(planteada) de un lenguaje formal utilizada en una deduccin para llegar a una conclusin. En matemtica se distinguen dos tipos de proposiciones: axiomas lgicos y postulados.

SIMBOLO
Un smbolo es la representacin perceptible de una idea, con rasgos asociados por una convencin socialmente aceptada. Es un signo sin semejanza ni contigidad, que solamente posee un vnculo convencional entre su significante y su denotado, adems de una clase intencional para su designado. El vnculo convencional nos permite distinguir al smbolo del icono como del ndice y el carcter de intencin para distinguirlo del nombre. Los smbolos son pictografas con significado propio. Muchos grupos tienen smbolos que los representan; existen smbolos referentes a diversas asociaciones culturales: artsticas,religiosas, polticas, comerciales, deportivas, etc.

Smbolos cientficos y tcnicos

Artculo principal: Notacin matemtica.

En el mbito cientfico y tcnico, tambin se denomina smbolo a las abreviaciones constituidas mediante grafas o letras. Difieren de las abreviaturas por carecer de punto. Tal es el caso de

los smbolos qumicos (ej. C, O, H20, C4H10), matemticos (ej. ), las unidades (ej. m, kg, cd), los puntos cardinales (ej. N, O), los smbolos de monedas (ej. $, ). Su fin fundamental es simplificar la escritura en la trasmisin de las ideas y el conocimiento.