В 1667 году Лейбниц поступил на службу к Майнцскому курфюрсту, в ведомство его министра Бойнебурга, где оставался до 1676 года, занимаясь политической и публицистической деятельностью, которая оставляла достаточное количество свободного времени для философских и научных исследований.
В 1666 году Готфрид Вильгельм Лейбниц написал одно из своих многочисленных сочинений — «Об искусстве комбинаторики». Опередив время на два века, 21-летний Лейбниц задумал проект математизации логики. Лейбниц многократно возвращался к задаче «математизации» формальной логики, пробуя применять при этом арифметику, геометрию и комбинаторику
Лейбниц изобрёл собственную конструкцию арифмометра, гораздо лучше паскалевской, — он умел выполнять умножение, деление, извлечение квадратных и кубических корней, а также возведение в степень. Предложенные Готфридом ступенчатый валик и подвижная каретка легли в основу всех последующих арифмометров вплоть до XX столетия