ヘンペルのカラス
(この写真は、全ての黒くないもの の ほんの一部でしかないが、とりあえずリンゴの一部を調べている段階のイメージ)。
前の写真の続き。この写真は(この世の)全ての黒くないものを調べるために、その一部である、黒くないタオルの一部を調べて、そこにカラスが混じっていないか、確認している段階のイメージ。(この世の黒くないもの全部を調べなければならないので、世界中(宇宙中)を駆け巡らなければならず)一体どれだけ調べればよいのか...誰にも見当がつかないが、もしも仮に... 全ての黒くないものを調べることができるのなら...もし仮にそんなことができると仮定して、なおかつ、そこに一羽のカラスも入っていなければ、「全てのカラスは黒い」と証明できることになる。
観察者は、もし全ての黒くないものを調べ尽くすことができて、調べ尽くした段階で、そこにカラスが一羽も入っていなければ、この黒い鳥がカラスかキュウカンチョウかを判断しなくても、全てのカラスが黒いということを証明できる。