Can a mathematical object be said to exist if you can't construct it?

Introducing an indispensable tool of mathematical logic.

If you can prove that a statement can't possibly be false, does this mean it's true?

There are limits to how much you can simultaneously squeeze the quantum fuzziness of an electron's position and momentum