ある事象が否定していることを証明するには、そのほかすべての事象を否定しなければその事象の否定を証明できないという、限りなく不可能に近い命題のことを悪魔の証明というそうです。こないだやった推理物のゲームで言ってました。例えば「このタイトルの本は存在する」ということを証明する場合そのタイトルの本を見つければその時点で証明されるわけですが、「このタイトルの本は存在しない」ということを証明する場合には世界中にあるすべての本を調べなければそのタイトルの本は存在しないという証明が出来ないということです。テレビでダニ研究の第一人者の人が言ってましたが新種かもしれないダニを発見した時、そのダニがすでに発見されているダニなら調べればすぐわかるけれど新種だと仮定して調べる場合は今まで発見されたダニすべてと照らし合わせて調べないと新種かどうか分からず、同じダニでも環境によっては別種と間違えるくらい違いが出るし変種や亜種なども含めると非常に難しいと言ってました。ちなみにダニやら菌やらは毎年すごい数の新種が見つかっているそうですが研究者たちの執念がうかがえます。森北でした。