Sobre a lógica e a teoria da ciência de Jean Cavaillès