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

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 (- contien + contié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))
 
== Demostración de los teoremas ==
La demostración de los teoremas de incompletitud basar en tres conceptoconceptos:
#La numberación de Gödel, que dexa traducir les teoríes formales a operaciones de [[aritmética]] pura.
#La potencia espresiva de les teoríes formales aritmétiques, que les sos espresiones recueyen diches operaciones.