Envoyer par SMS: Axiomatic set theory