【間接還元法】

かん￨せつ･かん￨げん￨ほうkansetsu·kangenhō0

N.
Logik indirekter Beweis m m; apagogischer Beweis m m; Widerspruchsbeweis m m.