يمكننا أن نفترض تفوق البرهان، مع ثبات العوامل الأخرى، الذي ينبع من عدد أقل من الافتراضات أو الفرضيات - باختصار، من عدد أقل من المقدمات.
يمكننا أن نفترض تفوق البرهان، مع ثبات العوامل الأخرى، الذي ينبع من عدد أقل من الافتراضات أو الفرضيات - باختصار، من عدد أقل من المقدمات.