Redigerer Gödels ontologiske bevis for Gud (avsnitt)

== Litteratur ==
<!-- {{More footnotes|date=June 2012}} -->
* {{cite book |author=John W. Dawson, Jr |title=Logical Dilemmas: The Life and Work of Kurt Godel |url=https://archive.org/details/logicaldilemmasl0000daws |publisher=AK Peters, Ltd |location=Wellesley, Mass |year=1997 |pages= |isbn=1-56881-025-3 |oclc= |doi=}}
* Melvin Fitting, «Types, Tableaus, and Godel's God» Publisher: Dordrecht Kluwer Academic ©2002, ISBN 1-4020-0604-7, ISBN 978-1-4020-0604-3
* Kurt Gödel (1995). «Ontological Proof». ''Collected Works: Unpublished Essays & Lectures, Volume III''. pp.&nbsp;403–404. Oxford University Press. ISBN 0-19-514722-7
* A. P. Hazen, «On Gödel's Ontological Proof», Australasian Journal of Philosophy, Vol. 76, No 3, pp.&nbsp;361–377, September 1998
* Jordan Howard Sobel, «Gödel's Ontological Proof» in ''On Being and Saying. Essays for Richard Cartwright'', ed.  [[Judith Jarvis Thomson]] (MIT press, 1987)
* {{cite book |author=Wang, Hao |title=Reflections on Kurt Gödel |url=https://archive.org/details/reflectionsonkur0000wang |publisher=MIT Press |location=Cambridge, Mass |year=1987 |pages= |isbn=0-262-23127-1 |oclc= |doi=}}
* {{cite book |author=Wang, Hao |title=A logical journey: from Gödel to philosophy |publisher=MIT Press |location=Cambridge, Mass |year=1996 |pages= |isbn=0-262-23189-1 |oclc= |doi=}}
* {{cite web |url=http://www.stats.uwaterloo.ca/~cgsmall/Godel.final.revision.PDF |title=Reflections on Gödel’s Ontological Argument |first=Christopher |last=Small |location=[[University of Waterloo]] |access-date=2012-10-05 |archive-date=2009-12-22 |archive-url=https://web.archive.org/web/20091222082410/http://www.stats.uwaterloo.ca/~cgsmall/Godel.final.revision.PDF |url-status=yes }}