發送短信: The foundations of Frege's logic /