Intro to Mathematical logic 2. Contradictions in naive set thought 3. Goedel's work and its implementation Theological revelations 1.
Mathematics can evoke wonder.
We are forced to examine the basis for our beliefs. Take it on the basis of faith and use it because it works. These forced mathematicians to reexamine definitions, assumptions, and rules of inference. Material vs. mathematical implications Mathematicians do not care about content so much as formula. Mathematics are based on formal rules of inference.