proof by contradiction in Polish
proof by contradiction in Polish
dowód nie wprost
(mathematics, logic) The proof of a statement adduced by deriving a contradiction from the statement's negation.
sprowadzenie do absurdu
(mathematics, logic) The proof of a statement adduced by deriving a contradiction from the statement's negation.