[Supermancho]

> So from our point of view, we cannot know given a statement whether it can be proven or not.

Like most proofs, there are statements which we know are true within constraints to a domain (axioms).