Los fundamentos de la matemática y los teoremas de Gödel

Primer teorema de Gödel I
• Consideremos los axiomas de Peano, la suma, el
producto y los símbolos básicos de la lógica.
• Asociar todos los elementos básicos de la teoría a
números (p.ej.: 0 → 000, =→ 111, ∼→ 333,
1 → 222, etc.).
• Los axiomas de la teoría y los teoremas
(afirmaciones verdaderas demostrables dentro
del sistema) también son números (p.ej.:
0 = 1 → 000333111222).
• Las reglas lógicas y las demostraciones de
teoremas son funciones que transforman
números en números.
Los fundamentos de la matemática y los teoremas de Gödel – p.17/23