Well, either they can’t find everything in that system, or they can also find something that contradicts something else that’s true.

It balances out, because while there’s infinite facts they can’t prove, there’s also infinite lies they can prove.