PanLinx
русский
rus-000
специальная аксиома
English
eng-000
specific axiom
PanLex