Văn bản này: Constructibility and mathematical existence