PanLinx
國語
cmn-001
演繹定理
普通话
cmn-000
演绎定理
Hànyǔ
cmn-003
yan3 yi4 ding4 li3
Deutsch
deu-000
Deduktionstheorem
PanLex