1. quantifier：量词
- existential quantifier：存在量词
- 存在量词引入规则：introduction rule of an existential quantifier
- 存在量词消除规则：elimination rule of an existential quantifier
- universal/generality quantifier：全称量词
2. 代数
- category：范畴，category theory：范畴论；
- morphism：n. [数] 态射；形态主义
3. 拓扑
- strip：n. 带；条状；脱衣舞
- Möbius strips
