PanLinx
русский
rus-000
эквивалентность множеств аксиом
English
eng-000
equivalence of axiom sets
PanLex