Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


StJohn Gavin with signature.pdf (316.5 KB)

ETD Abstract Container

Abstract Header

On formally undecidable propositions of Zermelo-Fraenkel set theory

St. John, Gavin
http://rave.ohiolink.edu/etdc/view?acc_num=ysu1369657108

Abstract Details

2013, Master of Science in Mathematics, Youngstown State University, Department of Mathematics and Statistics.
We present a demonstration of the Gödel 's incompleteness phenomenon in the formal first-order axiomatization of the Zermelo-Fraenkel axioms of set theory following the methods displayed in Gödel 's famous 1931 paper, Über formal unemtscheidbare Sätze der Principia Mathematica und verwandter Systeme I.[ 1 ]
Jamal Tartir, Ph.D. (Advisor)
Stephen Rodabaugh, Ph.D. (Committee Member)
Alan Tomhave, Ph.D. (Committee Member)
41 p.
Logic; Mathematics
incompleteness; godel; set theory; ZF; undecidable; logic; metamathematics

Recommended Citations

Citations

  • St. John, G. (2013). On formally undecidable propositions of Zermelo-Fraenkel set theory [Master's thesis, Youngstown State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=ysu1369657108

    APA Style (7th edition)

  • St. John, Gavin. On formally undecidable propositions of Zermelo-Fraenkel set theory . 2013. Youngstown State University, Master's thesis. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=ysu1369657108.

    MLA Style (8th edition)

  • St. John, Gavin. "On formally undecidable propositions of Zermelo-Fraenkel set theory ." Master's thesis, Youngstown State University, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=ysu1369657108

    Chicago Manual of Style (17th edition)

ysu1369657108
374
© 2013, all rights reserved.
This open access ETD is published by Youngstown State University and OhioLINK.