Leibniz' Doctrine of Necessary Truth