In 1929 and 1930, it was proved the truth or falsity of all statements formulated about the natural numbers plus one of addition and multiplication, was decidable, i.e. could be determined by some algorithm.
En 1929 e 1930, probouse que a a verdade ou a falsidade de todas as afirmacións formuladas sobre os números naturais coa suma ou a multiplicación era decidible, é dicir, podería ser determinado por algún algoritmo.