Philip Cunningham draws our attention to this:
https://www.youtube.com/watch?v=ReATRww8jVc
Rev. Dr. Vern Poythress (PhD, Harvard; DTh, Stellenbosch) is distinguished professor of New Testament, biblical interpretation, and systematic theology at Westminster Theological Seminary. His books include Redeeming Science, Redeeming Mathematics, and Redeeming Philosophy, or Chance and the Sovereignty of God.
Of related note, he adds:
A Biblical View of Mathematics – Vern Poythress – Doctorate in theology, PhD in Mathematics (Harvard) Excerpt: 15. Implications of Gödel’s proofB. Metaphysical problems of anti-theistic mathematics: unity and plurality
Excerpt: Because of the above difficulties, anti-theistic philosophy of mathematics is condemned to oscillate, much as we have done in our argument, between the poles of a priori knowledge and a posteriori knowledge. Why? It will not acknowledge the true God, wise Creator of both the human mind with its mathematical intuition and the external world with its mathematical properties. In sections 22-23 we shall see how the Biblical view furnishes us with a real solution to the problem of “knowing” that 2 + 2 = 4 and knowing that S is true.