PanLinx
普通话
cmn-000
形式公理
Hànyǔ
cmn-003
xíng shì gōng lǐ
ئۇيغۇرچە
uig-000
فورمال ئاكسىئوما
Uyghurche
uig-001
formal aksioma
PanLex