悪魔の証明

悪魔の証明って知ってますか？
「無い事を無い」と証明することです。
一般に「有る事を有る」と証明する事に比べ「無い事を無い」と証明するのは大変です。

「白い白鳥が存在する」　という証明は1匹のどこにでもいる白鳥を見つければ証明終了ですが、
「黒い白鳥は存在しない」　という証明は簡単にはいきません。たとえヨーロッパをくまなく探して見つからなかったとしても、アフリカにいるかもしれません。アフリカのすべての国を調査していなかったとしても、北アメリカにいるかもしれません。いい加減に面倒になって「黒い白鳥は存在しない」と言ってしまったら、それは間違っています。何故なら、オーストラリアに黒い白鳥はいるんですから。

今、私は黒い白鳥を探しています。私の場合は、本当にいないんだけどね。（いたりして）