Αποστολή με SMS: Foundations of mathematical logic /