důkaz sporem

IPA（発音記号）

男性形

不条理への還元による証明

英語の意味

reductio ad absurdum (mathematics, logic)

Při dokazování tvrzení o nekonečnosti prvočísel profesor použil důkaz sporem, aby vyvrátil všechny možné protichůdné argumenty.

素数の無限性に関する定理を証明する際、教授は背理法を用いてすべての矛盾する主張を論破しました。

In proving the theorem on the infinitude of prime numbers, the professor used reductio ad absurdum to refute all contradictory arguments.