The aim of the book is to refute the claim that Gods omniscience, omnipotence and benevolence on the one hand and the existence of evil on the other are together inconsistent. This is shown first by unmasking many types of such claims as either logical fallacies or as presupposing false assumptions. Secondly the author formulates Gods attributes of omniscience, omnipotence and benevolence and the existence of 10 types of evil in an axiomatic system. This contains the theorems about Gods knowledge, will, causation and benevolence without leading to any inconsistency. It proves the compatibility between Gods attributes of omniscience, omnipotence and benevolence with the fact of existence of evil. The author offers a consistency proof for the whole axiomatic system with the help of a model in which all axioms and theorems are satisfied.