發送短信: Constructibility and mathematical existence