- 数学遊戯 (4)
- ゲーデルの定理 (3)
- First-order logic (2)
- Recursion theory (2)
- 集合論 (2)
- Fixed point theory (1)
- Gödel's theorem (1)
- Logic, Symbolic and mathematical (1)
- Metamathematics (1)
- Paradoxes (1)
- Philosophical recreations (1)
- Puzzles (1)
- Recursive functions (1)
- ブール代数 (1)
- 不完全性定理 (1)
- 哲学 (1)
- 無限(数学) (1)
- 記号論理学 (1)
- 諸芸.娯楽--その他の室内娯楽 (1)
- 道家 (1)