De modo que siempre habrá por lo menos una proposición verdadera pero no demostrable.