Category:Axioms/Named Axioms/Leibniz

This category contains axioms or axiom schemata named for Gottfried Wilhelm von Leibniz.

German mathematician and philosopher who is best known for being the co-inventor (independently of Isaac Newton) of calculus.

Took some of the first philosophical steps towards a system of symbolic logic, but his works failed to have much influence on the development of logic, and these ideas were not developed to any significant extent.

Invented the system of binary notation.