posredni dokaz, v matematiki dokaj pogost način dokazovanja, pri katerem zanikanje trditve privede do protislovja. Primer: iracionalnost števila √ dokažemo tako, da pokažemo, da bi iz racionalnosti tega števila sledilo protislovje. Metoda posrednega dokaza temelji na izključitvi tretje možnosti.