La casi mitica fama de Kurt Gdel entre logicos matematicos y filosofos descansa en tres logros de importancia excepcional en 1930 probo la suficiencia del calculo logico de primer orden en 1931 probo que todo sistema formal que contenga un poco de aritmetica es necesariamente incompleto y que es imposible probar su consistencia con sus propios medios y en 1938-1939 probo la consistencia relativa del axioma de eleccion y la hipotesis del continuo ...