Diferencies ente revisiones de «Teoremas de incompletitud de Gödel»

m
Robó: Troquéu automáticu de testu (-cinco año\b +cinco años)
m (ca-->ques)
m (Robó: Troquéu automáticu de testu (-cinco año\b +cinco años))
[[Archivu:1925 kurt gödel.png|thumb|250px|[[Kurt Gödel]] a los 19 años d'edá, cinco añoaños antes de la demostración de los teoremas.]]
Los '''teoremas de incompletitud de Gödel''' son dos célebres teoremas de [[lóxica matemática]] demostraos por [[Kurt Gödel]] en [[1931]]. Dambos tán rellacionaos cola esistencia de [[proposición|proposiciones]] [[Independencia (lóxica matemática)|indecidibles]] en ciertes teoríes [[aritmética|aritmétiques]].