PanLinx
English
eng-000
existential axiomatics
русский
rus-000
экзистенциальная аксиоматика
PanLex
