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