数学史第八讲

- 3. 数理逻辑 - 数理逻辑是公理化、集合论与形式逻辑相结合的产物。有这样几种说法：“数学是建立在集合论与数理逻辑两块基石上的”（胡作玄）；“数学理论源于公设集与逻辑这两个因