Leibniz distingue entre verdades de razón y verdades de hecho.