We need to distinguish between what is known to be false and what is not known. Provability in propositional logic doesn’t cover this. It’s the difference between K~p and ~Kp.