Logik indirekter Beweis Widerspruchsbeweis Reductio ad absurdum lat. Zurückführung auf das Sinnlose kibyū·hō 帰謬法