Para Leibniz, los principios de identidad, sustitución equivalente y contradicción son los medios principales de cualquier prueba deductiva; confiando en ellos, Leibniz intentó probar algunos de los llamados axiomas .