PanLinx
русский
rus-000
аксиома регулярности
English
eng-000
regularity axiom
PanLex