EL TEOREMA DE INCOMPLETITUD (1931)
Primer teorema de Gödel

Un segundo teorema de Gödel

TECNICA "NUMERACION DE GÖDEL
Para demostrar este teorema desarrolló una técnica denominada numeración de Gödel, el cual codifica expresiones formales como números naturales

Ya establecido en EE.UU
PRESENTA
DOS IMPORTANTES TRABAJOS

CONSISTENCIA DEL AXIOMA DE ELECCIÓN
Este
importante resultado fue obtenido por Kurt Gödel en 1940

LA HIPOTESIS DEL CONJUNTO GENERALIZADO
(1940)

EN 1931 KURT GÖDEL DEMOSTRO con
EL TEOREMA DE INCOMPLETITUD

Lo anterior implicó en su momento:

IMPORTANTE APORTACIÓN