Creía que los axiomas son oraciones no comprobables, que son identidades, pero en matemáticas no todas las posiciones dadas como axiomas son identidades y, por lo tanto, desde el punto de vista de Leibniz, es necesario probar la .