Αποστολή με SMS: Computational Logic and Set Theory