Leibniz dreamed that we would be able to completrly determine if some claim was true or not. We can't do that for all claims, but at least in mathematics, we can prove with absolute certainty that some axioms will lead you to other claims. So at least a little piece of his dream is a reality.