3. AXIOMA
• Es un postulado que, en el marco de una deducción, permite
arribar a una conclusión. Esto se debe a que el axioma se
califica a sí mismo como verdadero aún sin demostración, y
permite inferir mediante la deducción otras proposiciones que
resultan.
• Un axioma es una proposición asumida dentro de un cuerpo
teórico sobre la cual descansan otros razonamientos y
proposiciones deducidas de esas premisas
4. 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 un teorema más general.
• Ciertos lemas demostrados son más famosos que el teorema
para el que fueron creados, desempeñando a veces la función
de teorema. Muchos lemas son de hecho muy celebrados y
generales y se usan por doquier como resultados auxiliares en
muchas ramas de la matemática.
5. COROLARIO
• Corolario es un concepto referido a una proposición tanto en
matemática como en lógica que se utiliza para designar la
consistencia de un teorema ya demostrado, sin necesidad de
invertir esfuerzo adicional en su demostración. En pocas
palabras, es una consecuencia obvia que no necesita
demostración.
• Siempre se refiere a una inferencia escueta e inmediata, si bien
la distinción entre teorema y corolario es tan subjetiva como
entre lema y teorema, siendo el lema una proposición breve.
6. HIPOTESIS
• En lógica matemática una hipótesis es una fórmula de la que se
parte para alcanzar finalmente otra fórmula mediante
deducciones válidas. ... En estadística también se llama
hipótesis a cada una de las dos proposiciones mutuamente
contradictorias que se afirman en un contraste de hipótesis.
7. TESIS
• Una tesis es una conclusión, proposición, opinión o teoría que
se mantiene con razonamientos. Una tesis es también un
trabajo de carácter científico, habitualmente para obtener el
título de doctor en una universidad.
8. TEOREMA
• Un teorema es una proposición cuya verdad se demuestra. En
matemáticas, es toda proposición que partiendo de un
supuesto (hipótesis), afirma una racionabilidad (tesis) no
evidente por sí misma.1
• También puede decirse que un 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ógica matemática. Los
teoremas también pueden ser expresados en lenguaje natural
formalizado.
