間接還元法かんせつかんげんほう<かん'せつ>・かん'げん'ほう0

Logikindirekter Beweisapagogischer BeweisWiderspruchsbeweis