Verdades que no se pueden probar · Enseñanza 4

Durante décadas, los matemáticos dieron por hecho que toda verdad matemática sería demostrable.

Parecía una meta razonable: construir un sistema tan bueno que cualquier enunciado verdadero sobre números pudiera, en principio, demostrarse dentro de él. A esa propiedad se le llama completitud, y era el sueño matemático de comienzos del siglo veinte.

Al terminarla puedes decir completitud y saber usarlo.