It depends on the standard of proof. Mathematics has no concept of platonic truth (things are true or false within a specific logical system) but precise notion

It depends on the standard of proof. Mathematics has no concept of platonic truth (things are true or false within a specific logical system) but precise notions of proof. Since any rich logical system has a P such that neither P or not-P is provable, this means that there are unprovable truths, if the law of the excluded middle is to be assumed (not all logic systems do). Most of the world has it the other way around: a very strong sense of truth/falsity and mediocre standards for "proof", allowing things that turn out to be false to be "proven". Many people have been "proven" guilty then found innocent.