Human beings can conceive of an axiom through which complete mathematical intelligibility can be completely formalized and proven – so that all mathematical questions can be correctly answered from within the mathematical parameters of the “super axiom.”
If human beings can conceive of such a super axiom which computers can now show (through Gödel Theorem), must be the ground of all mathematical intelligibility (from the most complex to the most simple), then such mathematical intelligibility must exist so that it can be conceived of by human intellection.
If such a super axiom does exist, it must exist through a mind capable of conceiving it originally. Such a mind would have to be higher than the mathematical super axiom conceived of. This higher mind is God.