Logic of Existence, Ontological Frames, Leibniz's and Goedel's Ontological Proofs