PanLinx
普通话
cmn-000
本质不可判定性
English
eng-000
essential undecidability
PanLex