Αποστολή με SMS: Introduction to metamathematics