Terence Perciante (1977).
Abstract
This paper provides an introductory discussion of consistency and completeness. It discusses the importance of assigning meanings to primitives and how extra-math assumptions enter the selection of a model for Peano’s axioms. It also provides an extended discussion of the strengths and weaknesses of intuitionism. It concludes with a brief sketch of some areas in which a Christian perspective might interact with some issues in mathematics.
Read the Article in .PDF format here:
Recent Problems in the Foundations of Mathematics