PanLinx
русский
rus-000
аксиома сводимости
English
eng-000
axiom of reducibility
English
eng-000
reducibility axiom
PanLex