Ever heard of the continuum hypothesis? Know anything about set theory? Etc.

There are plenty of things that logically are either true or false, but logically cannot be proved either way by mere mortals.