RelBib: Two types of ontological frame and Gödel's ontological proof https://relbib.de/Record/1636951953/Description