Date of Award
Master of Science (MS) in Mathematics
"This thesis gives a rigorous development of sentential logic and first-order logic as mathematical models of humanity's deductive thought processes. Important properties of each of these models are stated and proved including Compactness results (the ability to prove a statement from a finite set of assumptions), Soundness results (a proof given a set of assumptions will always be true given that set of assumptions), and Completeness results (a statement that is true given a set of assumptions must have a proof from that set of assumptions). Mathematical theories and axiomatizations or theories are discussed in a first- order logical setting. The ultimate aim of the thesis is to state and prove Gödel's Incompleteness Theorem for number theory"--Document.
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.
Mullins, Christopher, "Gödel's incompleteness theorem" (2013). EWU Masters Thesis Collection. Paper 172.