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.
