Enunciado Numérico
Un enunciado numérico es una afirmación matemática que usa números y símbolos (como =, <, o >) para mostrar una relación, de forma similar a una oración en el lenguaje.
Definition
Un enunciado numérico es una declaración matemática completa que muestra que dos cosas son iguales o que una es mayor o menor que otra, usando números y símbolos. Formalmente, contiene números, símbolos de operación ($+,-,\times,/$), y un símbolo relacional ($=,<,>,\le,\ge,\neq$), y es verdadero o falso; una ecuación (que usa $=$) es un tipo, las desigualdades usan $<,>$, y los enunciados abiertos contienen variables. En la lógica formal, un enunciado numérico corresponde a una fórmula cerrada (sin variables libres) en el lenguaje de la aritmética, cuyo valor de verdad lo determina el modelo estándar $(\mathbb{N},0,S,+,*)$ o cualquier modelo de una teoría como la Aritmética de Peano.
Example
$3 + 5 = 8$, $10 > 7$, y $6 - 2 = 4$ son todos enunciados numéricos, "hechos" matemáticos escritos en símbolos. $4 \times 6 = 24$ es una ecuación verdadera, $15 - 3 > 10$ es una desigualdad verdadera, $2+2=5$ es falso, y $x + 7 = 12$ es un enunciado abierto, verdadero solo cuando $x=5$. La conjetura de Goldbach, "todo entero par mayor que $2$ es suma de dos primos", es un enunciado aritmético cerrado, probablemente verdadero (verificado hasta $4\times10^{18}$) pero no demostrado.
Key Insight
Así como una oración en español tiene sujeto y verbo, un enunciado numérico tiene números y un símbolo de relación. Los enunciados numéricos abiertos (con variables) son proto-algebraicos: resolverlos significa hallar el valor que hace verdadero al enunciado, el objetivo central del álgebra. La distinción entre un enunciado numérico verdadero y uno demostrable es el corazón de los teoremas de incompletitud de Gödel: existen enunciados aritméticos verdaderos que ningún sistema formal de suficiente fuerza puede demostrar, siempre que ese sistema sea consistente.