- 集合論 (6)
- 数学基礎論 (3)
- Proof theory (2)
- 数学 (2)
- 計算量理論 (2)
- Algebra, Boolean (1)
- Axiomatic set theory (1)
- Gödel, Kurt (1)
- Logic, Symbolic and mathematical (1)
- Logic, Symbolic and mathematical--Congresses (1)
- トポロジー (1)
- リー代数 (1)
- 位相幾何学 (1)
- 数学--数論（整数論） (1)
- 数理物理学 (1)
- 線型代数学 (1)
- 解析学 (1)
- 記号論理学 (1)
- 量子力学 (1)