發送短信 : Basic Concepts of Mathematics and Logic