I was reading the book Sapiens by Yuval Noah Harari, and stumbled upon this paragraph on Chapter 12 (translation is mine because the book is in spanish):
And thus, monotheism explains order, but is perturbed by evil. Dualism explains evil, but is perturbed by order. There's a logical way of solving the riddle: argue that there exists only one omnipotent God which created the whole universe and that He is a wicked God. But nobody in history has had the stomach for a creed like this.
This prompted my curiosity: Is there any philosopher/mathematician that has formulated the existence of an unique, omnipotent wicked God as the only possible logical (not necessarily first order logic) inference? (which is what Harari concludes in non formal terms).
In this answer in a related post the issue of what is logically possible is mentioned. The reference I look for, should it exist, ideally would have delimited the problem of evil with the rigor of Godel's ontological proof, but not necessarily the same axioms or logical setting, and conclude that the only possible inference is that God is wicked.
EDIT.- A previous comment provided a useful, recent, non-formal reference, so I am copying it here because it was moved to chat: Why God is most assuredly evil: Challenging the evil God challenge.
This article argues that in fact evil God theodicies are more reasonable than good God theodicies by expanding upon arguments offered by David Benatar regarding the nature of existence, and David Hume regarding the asymmetry in our sensations of pain and pleasure.