Para las teorías a nivel de la aritmética de segundo orden, el programa de matemáticas inversas tiene mucho que decir.
Para las teorías a nivel de la aritmética de segundo orden, el programa de matemáticas inversas tiene mucho que decir.