PanLinx
English
eng-000
proper axiom
русский
rus-000
собственная аксиома
PanLex
