PanLinx
русский
rus-000
стратегия выдвижения аксиом
English
eng-000
axiomatization policy
PanLex