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