< Closing Thoughts

4 Bibliography

Kurt Gödel, On Formally Undecidable Propositions of Principia Mathematica and Related Systems, Basic Books, 1962.

Ernest Nagel, James R. Newman, Gödel's Proof, New York University Press, 2001.

Carl Boyer, A History of Mathematics, Princeton University Press, 1985.

Proclus, A Commentary on the First Book of Euclid’s Elements, Princeton University Press, 1992.

Alexander Bogomolny, Attempts to Prove Euclid’s Fifth Postulate, Interactive Mathematics Miscellany and Puzzles, 2018.

Peter Wolff, Breakthroughs in Mathematics, New American Library, New York, NY, 1970.

Morris Kline, Mathematics and Western Culture, Oxford University Press, 1953.

Georg Cantor, Contributions in Support of a Transfinite Set Theory Dover Publications, 1915.

Georg Cantor, On a Property of the Collection of all Real Algebraic Numbers, 1874.

Gottlob Frege, Michael Beaney, The Frege Reader, Wiley, 1997.

Bertrand Russell, Alfred North Whitehead, Principia Mathematica, Cambridge University Press, 1910.

Douglas Hofstadter, Gödel, Escher, Bach, Basic Books, 1979.

4.1 Cite this Paper

You can cite this paper as

Jack Evoniuk, Gödel's Incompleteness Theorems, 2020.

It would likely be best to include a link as well, as the above citation isn't exactly very specific.