数理逻辑发展史

数理逻辑发展史数理逻辑史本身又可分为三个阶段。第一阶段开始用数学方法研究和处理形式逻辑。本阶段从莱布尼茨到19世纪末延续了约200年。第二阶段是数理逻辑的奠基时期。19世纪数学发展提出了探讨数学方法和