911查询·英语单词
原级：theorem
1. 定理 IN LOGIC(逻辑学)：170 TG 转换语法 TRANSFORMATIONAL GRAMMAR | 171 THEOREMS 定理 IN LOGIC(逻辑学) | 172 TOKENS 语言符号