 I've been obsessed with this problem since I first saw it. 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 proofed.