發送短信: The autonomy of mathematical knowledge