Leibniz fue el primero en formular la noción de un sistema de lógica matemática aplicable de forma generalizada.