Esto es: el conjunto de las verdades del sistema es mayor que el conjunto de las verdades demostrables en el sistema.