teorema consiste en una proposicin que puede ser demostrada de manera

lgica a partir de un axioma o de otros teoremas que fueron demostrados con

anticipacin. Este proceso de demostracin se lleva a cabo mediante ciertas
reglas de inferencia.
Un teorema es una proposicin que afirma una verdad demostrable. En
matemticas, es toda proposicin que partiendo de un supuesto (hiptesis),
afirma una verdad (tesis) no evidente por s misma.
Proposicion
Es un enunciado que puede tener carcter de verdadero o falso pero no ambos.
La proposicin es la expresin lingstica del razonamiento, que se caracteriza
por ser verdadera o falsa empricamente, sin ambigedades
En matemticas, un lema es una proposicin demostrada, utilizada para
establecer un teorema menor o una premisa auxiliar que forma parte de un
teorema ms general.
el lema (que pertenece a un teorema ms largo), el corolario (que sigue de manera
inmediata al teorema) o la proposicin (un resultado que no se encuentra asociado a
ningn teorema en especfico).
Corolario En pocas palabras, es una consecuencia tan evidente que no necesita
demostracin. Proposicin que no necesita prueba particular, sino que se deduce fcilmente
de lo demostrado antes.