Enviar por SMS: Methods in mathematical logic