Terms for subject Mathematics containing contradiction

English	Russian
arrive at a contradiction	приходить к противоречию
arrive at contradiction	приходить к противоречию
be in contradiction with	находиться в противоречии с
by contradiction	от противного (доказательство: To prove something by contradiction, we assume that what we want to prove is not true, and then show that the consequences of this are not possible. That is, the consequences contradict either what we have just assumed, or something we already know to be true (or, indeed, both) – we call this a contradiction. maths.org)
by contradiction	от противного (proof by contradiction – доказательство от противного)
proof by contradiction	доказательство от противного
deep contradiction	глубокое противоречие
denial of contradiction	отрицание противоречия
direct contradiction	прямое противоречие (непосредственное)
explicit contradiction	явное противоречие
formal contradiction	формальное противоречие
illusory contradiction	кажущееся противоречие
immediate contradiction	непосредственное противоречие
implicit contradiction	неявное противоречие
in contradiction	противоречиво
inherent contradiction	внутреннее противоречие
law of contradiction	закон противоречия
lead to a contradiction	приводить к противоречию
logical contradiction	логическое противоречие
principle of contradiction	принцип противоречия
proof by contradiction	доказательство от обратного
proof by contradiction	доказательство от противного (In logic, proof by contradiction is a form of proof that establishes the truth or validity of a proposition by showing that the proposition's being false would imply a contradiction. Proof by contradiction is also known as indirect proof, apagogical argument, reductio ad impossibile. wikipedia.org)
proof by contradiction, by reductio ad absurdum proof	доказательство от обратного
reach a contradiction	прийти к противоречию (A.Rezvov)
resolve the contradiction	разрешать противоречие
suppose, by contradiction, that	предположим от противного, что
without causing any contradiction	не вызывая противоречий
without contradiction	бесспорно
without contradiction	безусловно
without contradiction	без сомнения