Αποστολή με SMS: First order mathematical logic /