Diferencies ente revisiones de «Teoremas de incompletitud de Gödel»
Contenido eliminado Contenido añadido
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) |
||
Llinia 106:
== Demostración de los teoremas ==
La demostración de los teoremas de incompletitud basar en tres
#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.
| |||