En su trabajo "El arte de la combinatoria", escrito en 1666, Leibniz anticipó algunos aspectos de la lógica matemática .