One point about the discussion of mathematics and theology. The two are not similar. A mathematical system will use a set of axioms to deduce theorems from those axioms.

The existence of a mathematical system is not a claim of truth for the axioms. It is a claim that if the axioms were true then the theorems derived from them would be true. Therefore what mathematical systems demonstrate are contingent truths.

If Axioms A are true then theorems T are true.

Most forms of theology make claims of absolute, not contingent truth for their axioms.