El lenguaje matemtico es una ciencia que, a partir de notaciones

bsicas exactas y a travs del razonamiento lgico, estudia las

propiedades y relaciones entre los entes abstractos. Es un refinamiento
del lenguaje natural y de la escritura humana, las cuales se han
adaptado para describir relaciones entre fenmenos u objetos
matemticos. Es el lenguaje sobre el cual se apoya, no solo la
matemtica, sino la ciencia en general
Su estructura se asemeja al lenguaje que hemos aprendido desde nios
para comunicarnos. Para expresar el conocimiento matemtico hacemos
uso continuo del lenguaje castellano, por ello las matemticas se
convierten en una parte de nuestro idioma, que para expresarse ha de
cumplir con las reglas del castellano. As cuando decimos:
La distancia entre dos puntos est dada por la longitud del segmento
de lnea recta que los une, aqu hacemos uso de las palabras del
lenguaje castellano para expresar un conocimiento matemtico. El
lenguaje matemtico es una forma de expresin mediante smbolos
matemticos especiales.

Axioma
La palabra axioma procede etimolgicamente del griego, siendo
derivada del verbo o axioein cuyo significado puede traducirse
como valorar como autntico, justo y claro. Una proposicin puede ser
considerada axioma cuando su verdad resulta evidente sin que sea
necesario demostrarla, y sobre esa base se van construyendo las teoras
cientficas.
Se usa adems, especialmente en Lgica y en Matemtica. En Lgica
son axiomas, palabra ya usada por el filsofo griego Aristteles, las
proposiciones que se usan como reglas o punto de partida, no
resultando derivadas de otras, sino que otras proposiciones se derivan
de ellas, pues se aceptan por ser evidentes y necesarias, siendo su
demostracin o bien imposible o de lo contrario, intil, pues de negarlas
se producira una contradiccin, como sucedera si tratramos de negar
que todo individuo es igual a s mismo. Un claro ejemplo de axioma es
el sentado por Descartes Pienso, luego existo.

TEOREMA
Derivada del latn theorema, la palabra 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.
El teorema, por lo tanto, puede ser descripto como una afirmacin de
importancia. Existen otras de menor rango, como ocurre con 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).
Cabe destacar que, hasta que la afirmacin no logra ser demostrada, se
la define como hiptesis o conjetura. De hecho, muchas veces toma
muchos aos, e incluso dcadas o ms, dar con una comprobacin
convincente. En algunos casos, cuando se trata de teoremas que
describen situaciones imposibles de resolver sin ayuda de la informtica,
dada su complejidad o que cubre un gran nmero de combinaciones, las
respuestas suelen ser muy cuestionadas, ya que se debe confiar en un
ordenador.
Un teorema en general posee:
-Un nmero de condiciones, deben ser enumeradas (propuestas).
-Una Conclusin.
-una afirmacin matemtica (verdadera bajo condiciones).Se obtiene a
partir de axiomas y se pueden demostrar racionalmente. El contenido
informativo del teorema es la relacin que existe entre la hiptesis y la
tesis o conclusin.