Enviar por SMS: First Order Mathematical Logic