发送短信: The reality of mathematics and the case of set theory