Revisió del 01:14, 2 jul 2016 modifica Langtoolbot (discussió \| contribucions) Bots 1.187.114 edits m bot: - si dos formules que + si dues fórmules que ← Edició anterior		Revisió del 10:14, 16 feb 2017 modifica desfés Cel·lí (discussió \| contribucions) 1.096 edits m aclariment Etiqueta: editor visual Edició següent →
Línia 4: : ''En qualsevol formalització [[consistència lògica\|consistent]] de les matemàtiques que sigui prou forta per definir el concepte de [[nombre natural\|nombres naturals]], es pot construir una afirmació que ni es pot demostrar ni es pot refutar dins d'aquest sistema.'' Aquest teorema és un dels més famosos, ~~fora~~més enllà de les matemàtiques, però sí i un dels pitjor compresos. És un teorema de ''lògica formal'', i com a tal és fàcil mal interpretar-lo. N'hi ha molts que semblen similars a aquest primer teorema d'incompletesa de Gödel, però que en realitat no són certs (''vegeu la secció «[[#Malentesos entorn dels teoremes de Gödel\|Malentesos entorn dels teoremes de Gödel]]»''). El segon teorema, que es demostra formalitzant part de la demostració del primer teorema dins el mateix sistema, afirma:

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