Think of something you might have said to Kurt Gödel: He was a theist. (And not a dualist: he thought materialism is wrong.) In fact he believed the world is rational and also was a Leibnitzian monadology with God as the central monad. He was certainly NOT guilty of not applying Eliezer's list of "technical, explicit understandings," as far as I can see. I should point out that he separated the question about religion: "Religions are, for the most part, bad -- but religion is not." (Gödel in Wang, 1996.)