PanLinx: axiomatization policy

English	eng-000
axiomatization policy

русский	rus-000	стратегия аксиоматизации
русский	rus-000	стратегия выдвижения аксиом

PanLex-PanLinx