填空题

通过假设原论题不成立由此推出矛盾,从而得出原论题为真的间接论证是______。

【参考答案】

反证法