Gödel's ontological argument, formalized in modal logic and scrutinized by logicians like Sobel and ...