輸入需要查詢的詞語：
詞條：間接證明(間ｊｉaｎ)
jiān/jian jiē zheng ming (jiān/jianｊｉaｎ)
「直接證明」的對稱。通過斷定相關判斷之假來斷定論題之真的證明方法。有反證法和選言證明兩種。