[konschubert]

> Proofs can be only true or false

Yes.

The fact that we don't know the truth doesn't mean there isn't one.