Faith depends on logic somehow. The Human mind could believe in a religion logically, and logic is a domain of mathematics.

There are a lot of proofs for the existence and uniqueness of “GOD” in mathematics. “Kurt Godel” (1906-1978) proved with mathematical logical steps that GOD exists and unique!

His work is a new way of thinking around ontological arguments defined by Anslem and Decart.

This argument has been formalized and automated on a computer with higher-orderautomated theorem provers in 2014 in the published research Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers. The computer proved necessarily, there exists God!

In the image below, we can see the mathematical logical proof of the existence and uniqueness of God done by Kurt Godel.


I think that there are a lot of combinations between mathematical logic and faith. It is a new open domain we could work in.