Prouver une affirmation, c'est la déduire d'une autre déjà établie ; mais celle-ci, à son tour, il faudrait la prouver, et ainsi de suite à l'infini, à moins de s'arrêter quelque part. Aristote répond à ce problème par le syllogisme, l'outil formel qui garantit qu'une conclusion se déduit nécessairement de deux prémisses vraies. Ockham termine sur un principe d'économie plutôt que de démonstration : entre deux explications, préférer toujours la plus simple, celle qui ne multiplie pas les causes inutilement.