悪魔の証明
悪魔の証明は証明不可能な事態を指し、単に証明困難な事態を指すのではない。「ない」という消極的事実の証明を求めることは証明不可能で悪魔の証明になるが、「ある」という積極的事実の証明を求めることは単に証明困難なだけで悪魔の証明にならない。