發送短信: The origin of the logic of symbolic mathematics