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