Besonderhede van voorbeeld: 5272208857793030127

English

Gödel’s incompleteness theorems of 1931 brought Hilbert’s program to a halt.

Spanish

Sin embargo, en 1931 los teoremas de incompletud de Gódel pusieron fin al programa de Hilbert.