「世界中のありとあらゆる黒くないものを調べる」ためには、カラスについても「黒いか黒くないか」は調べる必要があるはずなので、 「一匹もカラスを調べずにカラスが黒いことを証明できる」わけではない、というところでしょうか。
「カラス」「黒い」という現実の概念を定義することなしに 論理の世界にもってきて、その上で「証明する」ってのが 何を意味するのか日常生活でいう「証明」なのか 論理の世界で言う「証明」なのかあいまいなままに 話を進めてるってことでしょう。 現実世界のモノを論理の世界にもっていくためには なんらかの抽象化が必要で、どのように現実世界の モノと論理の上での概念を対応させるか、というのが はっきりしてないと話が噛みあわないよ、ってこと。