Bir matematikçi ve filozof olan Leibniz, her önermenin gerçekliğini test etmek için kullanılabilecek evrensel bir sembolik dil yaratmanın hayalini kuruyordu. "Böylece iki düşünür ancak iki muhasebeci kadar tartışmaya gerek duyardı' demişti, 'Ellerine kalemi alıp, birbirlerine "haydi hesaplayalım" demeleri yeterli olurdu.' Leibniz'in rüyası, modern matematiksel mantığın doğmasını sağladı.