Patrick Grim's Cantorian Argument against Divine Omniscience: A Critical Approach based on Plantinga and Mulla Sadra’s Views

Patrick Grim has presented an argument against the compatibility of Divine Omniscience. Citing Cantor's Theorem and using the accepted definition of omniscience -knowledge of all true propositions- Grim denies the existence of an Omniscient due to the impossibility of a set that includes all true propositions. Grim's argument raised many answers by Christian philosophers. For example, Plantinga has objected to this argument by showing its self-contradictoriness. Although there are fundamental differences between Islamic and Christian theology in explaining the nature of omniscience, considering the capacity of Sadra's transcendent wisdom, by citing issues such as the definition and nature of collection as well as the conditions of impossible sequence, addition to refuting Grim's argument that there are more facts than the set of all facts, the possibility of the knowledge of Omniscient to an infinite series of sets of facts can be proved.