發送短信 : Matematicheska︠i︡a teori︠i︡a logicheskogo vyvoda;