悪魔の証明

定義

全称肯定命題（又はその対偶としての特称否定命題（すなわち消極的事実））の証明の困難性を比喩的に表現した言葉

これだと抽象化されていて何のことか分からないが、平たく言うと次のとおり。

「ないこと」を証明すること。

「あることの証明」は、特定の「あること」を一例でも提示すればすむが、「ないことの証明」は、厳密には全称命題の証明であり、全ての存在・可能性について「ないこと」を示さねばならない

参考文献

疑惑がないことを証明するのは難しい。（中略）　贈収賄が存在しないことを証明するのは非常に難しい。（中略）　だからこそ「疑わしきは無罪」という司法の原則が存在しているわけだ。