This paper considers aspects of Gödels Incompleteness Theorem, which states that a strong mathematical system must include statements that are true but that cannot be proven within that system, by considering the dialogue between God and a Mortal on the issue of free will as offered by Raymond Smullyan in an essay on belief and logic and the nature of the system God has created.
