PanLinx
普通话
cmn-000
可构造存在证明
English
eng-000
constructive existence proof
PanLex