Como es bien sabido, el lenguaje matemático es una forma de comunicación a

través de símbolos especiales para realizar cálculos matemáticos, cuyos elementos son:
Axioma; enunciado o fórmula que se admite sin demostrar. Postulado; supuesto que se
establece para fundar una demostración, una teoría o un cuerpo de doctrina. Definición:
declaración del significado de un término o signo, es decir, del uso que de él se va a
hacer. Proposición: enunciado de una verdad demostrada, o que se trata de demostrar.
Escolio: proposición aclaratoria. Lema: proposición que es preciso demostrar antes de
establecer un teorema. Teorema: Proposición que afirma una verdad demostrable la cual
consta de tres partes: hipótesis, tesis y demostración. Proposición que se deduce por sí
sola del demostrado anteriormente.

Es importante destacar que, existen dos niveles llamados Metalenguaje y

Lenguaje-Objeto, con los que podemos referirnos al lenguaje que se refiere al objeto del
discurso y con el que nos referimos directamente a los objetos, respectivamente.
Asimismo, entre los tipos de lenguajes se encuentra el Natural donde se aprende
inconsciente e involuntariamente, ya que por ejemplo, ningún bebé decide aprender o no
la lengua que hablan sus padres, y ningún padre sienta a su hijo y le enseña las reglas
sintácticas de su lengua, se podría decir que, las personas hablan y se entienden, pero
generalmente no se cuestionan las reglas que utilizan al hablar, mientras que en el
Artificial sí se aprenden de manera voluntaria y conscientemente, los cuales vienen siendo
lenguajes de programación utilizados para desarrollar programas informáticos.

Por otra parte, dentro de las matemáticas se encuentran preposiciones las cuales
tienen un valor de verdad (que será la verdad o la falsedad de su enunciado), y que, de
acuerdo a sus características, es posible distinguir entre proposiciones simples (que
carecen de conectores lógicos) y proposiciones compuestas (cuentan con más de un
conector lógico), por lo que, puede entenderse a las proposiciones matemáticas como
expresiones de juicio que no pueden resultar verdaderas y falsas de manera simultánea.

No obstante, en la lógica matemática, se investigan los principios por los cuales

algunas inferencias son aceptables, y otras no, es por ello que, cuando una inferencia es
aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o
el lenguaje utilizado. Por esta razón, la lógica se considera una ciencia formal, como la
matemática, en vez de una ciencia empírica.

Para terminar,