Lo anterior parece implicar que una demostración es el tipo más fuerte de justificación, especialmente aquellas demostraciones expresadas en un sistema formal), basadas en la lógica (rama de la filosofía que estudia los principios de la demostración e inferencia válida)