Envoyer par SMS: Methods in mathematical logic