Two types of ontological frame and Gödel's ontological proof - Galvan, Sergio 1946- (2012)