Leibniz was trying to find a system that converts logic’s verbal statements into a pure mathematical one.
Leibniz se snažil najít systém, který by převáděl logické slovní prohlášení na čistě matematické.