1666: Leibniz argues that every possible idea can be arrived at by the arithmetic combination of simpler ideas.
Important predecessor to many kinds of formal logic.