Αποστολή με SMS: Godel's incompleteness theorems