En particular, el primer teorema demuestra que si sólo admitimos razonamientos cuya validez sea verificable objetivamente entonces siempre habrá verdades matemáticas que no podamos demostrar.
El teorema dice que cuatro colores son suficientes para dibujar cualquier mapa, con la condición de que dos países limítrofes deben tener distintos colores.
