אנגלית ⇄ רוסית +

proof by reduction to absurdity מתח
.מָתֵי	доказательство от противного
.מכשיר	доказательство путём сведения к абсурду