Αποστολή με SMS: Αξιωματική θεωρία συνόλων