Если вы знаете правильный перевод фразы «proof by contradiction» на русский, то добавьте его в пользовательский словарь.