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