Analysis of an Ontological Proof Proposed by Leibniz