Verdades que no se pueden probar · Enseñanza 11

David Hilbert propuso, con total seriedad, resolver las matemáticas de una vez por todas.

Su plan tenía tres piezas: formalizar toda la matemática en un sistema único, demostrar que ese sistema era consistente, y demostrar que era completo. Iba a cerrar cualquier duda sobre los cimientos de las matemáticas para siempre.

Al terminarla puedes decir programa de Hilbert y saber usarlo.