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