Полный русско-английский словарь
теорема искажения
Distortion theorem
Полный русско-английский словарь
теорема интерпретируемости
теорема истинности