PanLinx
English
eng-000
ordinal-definable set
русский
rus-000
ординально определимое множество
PanLex