>P.S. Using a theory to prove its own consistency would be way more suspicious than using a more powerful theory to prove it. "The Bible is true because the Bible says so."

Which eventually leaves us either with some top-level assumptions we treat as completely axiomatic, or with infinite regress to higher and higher systems of proof logic.