PanLinx
普通话
cmn-000
切消定理
國語
cmn-001
切消定理
Hànyǔ
cmn-003
qie1 xiao1 ding4 li3
Deutsch
deu-000
Gentzenscher Hauptsatz
PanLex
