Teorema d'incompletesa de Gödel: diferència entre les revisions

Aquest resultat fou devastador per a l'aproximació filosòfica a les matemàtiques conegudes com el [[Formalisme (matemàtiques)|programa de formalització de Hilbert]]. [[David Hilbert]] proposà que la consistència dels sistemes més complexos, tals com l'[[anàlisi real]], es podien demostrar en termes de sistemes més senzills. Finalment, la consistència de totes les matemàtiques es podria reduir a l'aritmètica bàsica. El segon teorema d'incompletesa de Gödel demostra que l'aritmètica bàsica no es pot usar per demostrar la seva pròpia consistència i, per tant, tampoc pot demostrar la consistència de cap altre sistema més fort.