分类
以下分类在wiki存在，并且可能被也可能未被使用。 另见需要的分类。
- 以 Mirsky 命名（1个成员）
- 以 Moore 命名（2个成员）
- 以 Morris 命名（1个成员）
- 以 Möbius 命名（2个成员）
- 以 Napier 命名（1个成员）
- 以 Peirce 命名（1个成员）
- 以 Poulet 命名（2个成员）
- 以 Pratt 命名（1个成员）
- 以 Pythagoras 命名（1个成员）
- 以 Rabin 命名（1个成员）
- 以 Rado 命名（1个成员）
- 以 Sarrus 命名（2个成员）
- 以 Schreier 命名（4个成员）
- 以 Sperner 命名（3个成员）
- 以 Stern 命名（1个成员）
- 以 Szekeres 命名（1个成员）
- 以 Tarski 命名（1个成员）
- 以 Venn 命名（1个成员）
- 以 Zassenhaus 命名（1个成员）
- 以 Zorn 命名（1个成员）
- 以 von Neumann 命名（1个成员）
- 以 Łukasiewicz 命名（1个成员）
- 以 Чебышёв 命名（2个成员）
- 以人物命名（13个成员）
- 以孙子命名（1个成员）
- 以山本命名（1个成员）
- 以柯召命名（1个成员）
- 以秦九韶命名（1个成员）
- 位运算（18个成员）
- 元组（7个成员）
- 公理算术系统（5个成员）
- 公理集合论（19个成员）
- 关系（25个成员）
- 关系对象（0个成员）
- 函数（7个成员）
- 初等数论（6个成员）
- 动态规划算法实例（1个成员）
- 匹配问题（1个成员）
- 古典逻辑（19个成员）
- 同余方程（10个成员）
- 同余理论（55个成员）
- 同调代数（2个成员）
- 含有对象实体的页面（0个成员）
- 含有待补充内容的页面（1个成员）
- 命题逻辑（83个成员）
- 命题逻辑定理（27个成员）
- 国家标准（2个成员）
- 国标标准（3个成员）
- 基数理论（10个成员）
- 基本对象（4个成员）