Envoyer par SMS: Lógica polivalente axiomátizada