PanLinx
普通话
cmn-000
实数的公理系统
PanLex