逻辑与基础（Logic & Foundations，MSC03）研究数学推理的形式结构与数学自身的本体论，涵盖命题逻辑、一阶逻辑、模型论、证明论与集合论。从布尔代数、哥德尔不完备定理，到图灵机与可计算性，这里奠定了整座数学大厦的地基，也是计算机科学理论的源头。
本文通过按动开关的物理机制引入奇偶校验思想, 利用严密的逻辑推导, 拆解该方法在铺瓷砖空间限制、计算机编码除错以及逻辑谜题中的实际应用.
本文用归纳的思想解决了红帽子蓝帽子问题.
线段上的点和单位正方形内的点比较, 哪个点更多？
匹诺曹预言“我的鼻子要变长了”. 那么他的鼻子会变长吗？
学了数学归纳法，证明了这个世界上的每个人身高都相同！
