發送短信 : Theorie des modeles en logique mathematique.