原级:theorem
1. 定理 IN LOGIC(逻辑学):170 TG 转换语法 TRANSFORMATIONAL GRAMMAR | 171 THEOREMS 定理 IN LOGIC(逻辑学) | 172 TOKENS 语言符号