It has been proven that each mathematical reasoning system* either has a statement that cannot be proven true or false, or a statement that can be proven both true or false. In simpler terms, it has been proven that we can’t prove everything.

Gödels incompleteness theorem if anyone wants to look it up.

• only holds for reasoning systems that can reason about numbers