Oración 1: si bien, puede construirse un lenguaje de primer orden para la aritmética que sea consistente y completo, pero a condición de introducir un número infinito de axiomas adicionales y sin que el conjunto añadido sea recursivo, lo cual carece de interés práctico ya que sería imposible describir explícitamente ese conjunto de axiomas mediante algún procedimiento algorítmico razonable
Oración 2: se comenzó a trabajar sobre la construcción de sistemas para formalizar la aritmética mediante lenguajes formales de segundo orden
Conector: por esa razon,
Relación: reasoning
Género: articles