Logic of Existence, Ontological Frames, Leibniz's and Gödel's ontolological Proofs