 So this is not even to mention what happened in the 30s with logic. In math, proof is everything. But in logic, there are things that are true that can't be proved. So there's a definite difference between truth, proof, and evidence.