Stav dette: Constructibility and mathematical existence