Deterministischer (formallogischer), topologischer Gottesbeweis