Enviar por SMS: Lógica polivalente axiomátizada