Enviar por SMS: Sets, logic and axiomatic theories /