Una máquina que no entiende nada puede aun así demostrar teoremas verdaderos.

Un sistema formal no sabe qué significan sus símbolos: solo sabe qué combinaciones de símbolos son legales y qué reglas permiten pasar de unas a otras. Toda la matemática moderna se construye exactamente así, a propósito.