Oración 1: puede probarse que la llamada aritmética de segundo orden completa, admite un único modelo que en esencia puede identificarse con los números naturales formalizados menos rigurosamente por los axiomas de Peano
Oración 2: esa trivialidad del conjunto de modelos de la teoría la hace poco interesante en muchos aspectos, es por esta razón por lo que se han buscado modelos de aritmética de segunda orden lógicamente más débiles, con el fin de averiguar qué partes de la matemática son formalizables utilizando un lenguaje formal más restrictivo
Conector: sin embargo,
Relación: contrasting
Género: articles