Constructibility and mathematical existence