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