PanLinx
普通话
cmn-000
演绎系统完备性
English
eng-000
completeness of deduction system
PanLex
