Leibniz was envisioning something like Douglas Lenat's Cyc project. In his grant proposal to the French court, his first intended stage was to reduce all of human knowledge to propositional form. He estimated it would take about 5 years given a small clerical staff and a good library.