PanLinx
русский
rus-000
релятивизированная теорема
English
eng-000
relativized theorem
PanLex