PanLinx
tiếng Việt
vie-000
tính tiên đề hoá
English
eng-000
axiomatizability
PanLex