A statement can be true or false. But as Kurt Gödel demonstrated, there will always be mathematical assumptions that can neither be proven nor disproven ...