PanLinx: аксиома сводимости

русский	rus-000
аксиома сводимости

English	eng-000	axiom of reducibility
English	eng-000	reducibility axiom

PanLex-PanLinx