在 18 世纪初，现代数学取得了辉煌的成果。G.W.Leibniz (1646-1716) 是当时的杰出者，他是微积分学的创始人之一。作为数学家和哲学家，他为推动数理逻辑的发展也做出过重大的贡献。Leibniz 曾有一个宏伟的理想：
。。。