发送短信: Lógica y necesidad en la epistemología de Jean Cavaillès