RelBib: Two Types of Ontological Frame and Gödel's Ontological Proof https://relbib.de/Record/1567180620/Details