The existence of Gödel, Einstein, and de Sitter universes | doi.page