  It should be noted that Leibniz's argument bears a certain affinity with the ontological argument that Gödel gives, insofar as it also seeks to demonstrate the possibility of a being having all simple, positive properties. (For Gödel's argument, see the  entry on    ontological arguments.)