Il secondo problema di Hilbert, riguarda la compatibilità degli assiomi dell’artimetica e verrà risolto dal logico Kurt Gödel. Il teorema di incomplettezza ha tra le sue consuguenze il fatto che l’artmetica è incompleta e indecidibile.
2 окт 2024