هذا أمر ضروري حيت عدد التكهنات الي كتجريها هادوك النظريات غير محدودة، الشي الي كيعني بلي إمكانية لمعرفة ديالها على طريق كمية محدودة من الأدلة بواسطة المنطق الاستنتاجي فحسب ماشي ممكنة.