离散数学、计算理论、逻辑学与形而上学是密不可分的学科，它们既可以是简单的与非门，也可以是黑格尔的存在本质与概念体系。本文主要是逻辑学中的数理逻辑部分摘要总结。

本文是《牛津通识读本-科学哲学》的部分章节阅读分享。