当我们成功地找到独立判断的最小集合,而其余的东西作为逻辑推论能够从中演绎出来时,才在一个领域达到相容判断的经济的和有机的协调之理想。一个例子是欧几里得几何学。这样演绎出的判断本来可以以迥然不同的方式被发现,事实上情况通常也是如此。在那种情况下,演绎借助较简单的和较熟悉的判断使该判断变得更容易理解,也就是说,演绎有助于说明某种被怀疑的东西,或者把它建立在某个原来不是较简单的东西的基础上,一句话即提供证明。如果被演绎的判断先前是未知的,而是首次在论证中发现的,那么我们便具有演绎的发现。