Question

翻译，求助，急！

摘要:本文较为简明扼要地介绍了数理逻辑发展史。从莱布尼兹始，经布尔、德•摩根，到弗雷格和罗素，后来又产生了康托尔的集合论，哥德尔的完备性定理与不完全性定理。近代数理逻辑也分成了若干流派，对相关问题的研究日益深入。

关键词:数理逻辑;莱布尼茨;布尔代数;集合论;哥德尔

有谁可以帮我把以上内容翻译成英文！
谢谢

Answer 1

Abstract: This article is more concise introduction to the history of mathematical logic. Leibniz from the beginning of the Boer, Germany • Morgan, Frege and Russell, and later produced a Cantor of set theory, the completeness of Gödel's theorem and not entirely theorem. Modern mathematical logic is divided into a number of schools, to study issues related to the increasing depth.

Key words: mathematical logic; Leibniz; Boolean algebra; set theory; Gödel

Answer 2