逻辑与公理化集合论(04)：无穷公理与自然数的构造
引入 ZF 中的无穷公理，并在此基础上用 von Neumann 方案构造自然数，说明自然数集是最小归纳集，最后讨论自然数集上的严格全序关系.
逻辑与公理化集合论(02)：从朴素集合论到 ZF 公理系统下的集合论
有了形式逻辑的语法, 我们现在需要数学概念. 本文通过 Russell 悖论说明朴素集合论的崩塌，并探讨 ZF 公理系统如何在废墟上重建现代的集合论, 最后讨论集合运算的基本性质.
量子态的系综理论(03)：正则系综、巨正则系综与热力学函数
从孤立整体的微正则系综出发推导子系统的正则与巨正则系综, 定义量子配分函数与 von Neumann 熵, 并系统建立内能、自由能、巨热力学势等热力学函数及其微分关系.