逻辑学
学科入口是词典级对照：用对方的语言立梯，登毕即撤。
级别复核中：上游命题有变动，本条的级别正在复核。
固有类（在本项目意义上的循环自嵌套结构）以终余代数 νF ≅ F(νF) 为数学家园。
级别复核中：上游命题有变动，本条的级别正在复核。
在反基础公理（AFA）下，（平坦）方程组有唯一解（Aczel 解引理）；本原方程以此取代公理命题。
级别复核中：上游命题有变动，本条的级别正在复核。
以互模拟为身份判据；有限情形可经 Paige–Tarjan 分划细化判定。
级别复核中：上游命题有变动，本条的级别正在复核。
旋机矢列演算 RSC₀ 健全且完备。
级别复核中：上游命题有变动，本条的级别正在复核。
保生 ↔ 保真：生成逻辑的推理准则与经典逻辑推理准则的词典对应。