We explore non-constructive proofs and what happens if you try and avoid them.

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