Describir: Constructibility and mathematical existence