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