發送短信: Frege's logic