PanLinx
tiếng Việt
vie-000
tiên đề hoá được
English
eng-000
axiomatizable
PanLex