V katolické církvi platilo, a možná ještě platí, že věřící má věřit tomu, co se mu k věření předkládá.

V matematice platí, že každé poznání musí být striktně dokázáno. Pouze taková tvrzení (věty) jsou pravdivé, které jsou nezpochybnitelně dokázané. Jedna třída důkazů se nazývá důkaz sporem. Nejjednodušší důkaz sporem je v oblasti platnosti čísel. Jestliže nějaké tvrzení platí pro všechna čísla, která jsou větší než nula (kladná), potom tvrzení musí platit i pro všechna čísla, která jsou menší než nula (záporná). V právní vědě se tento důkaz nazývá opak (důkaz z opaku).