In the Christian religion, though perhaps not in any other, we frequently find a conception of god that is selfcontradictory and therefore corresponds to nothing. That is the conception formed by the following three propositions taken together: 1. God is all-powerful. 2. God is all-benevolent. 3. There is much misery in the world. A god who was all-powerful but left much misery in the world would not be all-benevolent. An all-benevolent god in a world containing much misery would not be an all-powerful god. A world containing a god who was both all-powerful and all-benevolent would contain no misery. Here, then, we have a mathematical proof bearing on a common religious doctrine. Anyone who is confident that he frequently comes across misery in the world may conclude with equal confidence that there is no such thing as an all-powerful and all-benevolent god. And this mathematically disposes of official Christianity, as has long been known.