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

m
Bot: Troquéu automáticu de testu (-Vease tamién +Ver tamién)
m (Bot: Troquéu automáticu de testu (-(\bdos|\btres|\bcuatro|\bcinco|\bseis|\bsiete|\bocho|\bnueve|diez|\bonce|doce|trece|catorce|quince|dieciséis|diecisiete|dieciocho|diecinueve|veinte|treinta|cuarenta|cincuenta|sesenta|setenta|ochenta|noventa|\bcien|cientos|\bmil) ([a-zA-ZáéíóúÁÉÍÓÚñÑ]+o\b) +\1 \2s))
m (Bot: Troquéu automáticu de testu (-Vease tamién +Ver tamién))
El fechu técnicu que se precisa ye precisamente una prueba de que la demostración del primera teorema de incompletitud puede «traducise» nuna demostración formal de la sentencia {{math|Consis ''T'' {{unicode|⇒}} ¬{{unicode|∃}}''y'', DEM(''y'', [''g''])}}. Esto ye posible en toa teoría aritmética recursiva, yá que verifiquen unes ciertes ''condiciones de demostrabilidad''.
 
== VeaseVer tamién ==
* [[Consistencia lóxica]]
* [[Autorreferencia]]