In 1702, Gottfried Wilhelm Leibniz developed logic in a formal, mathematical sense with his writings on the binary numeral system.
În 1703, Gottfried Leibnitz a dezvoltat logica într-un sens matematic formal, în scrierile sale despre sistemul de numerație binar.