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