PanLinx
普通话
cmn-000
良序定理
English
eng-000
well ordering theorem
PanLex
