发送短信: Paradoxes Between Truth and Proof