Gödel's second incompleteness theorem, proved in 1931, showed that this was not possible – at least not within arithmetic itself.
O segundo teorema de Gödel da incompletitude probou en 1931 que isto non é posible, polo menos dentro da aritmética en si.