Αποστολή με SMS: A formalization of set theory without variables