Galvan, S. Two Types of Ontological Frame and Gödel’s Ontological Proof. EJPR 2012, 4, 147-168.