An Outline of the Proof of Gödel's Incompleteness Theorem
Library Home 
Full Table of Contents 
Library Help
http://www.apronus.com/math/goedel.htm  


Michal Wojcik  
On this page we give an outline of the proof of Goedel's Incompleteness Theorem. We construct a statement in set theory such that it is not a theorem and its negation is not a theorem. What we show on this page is not a presentation of the proof that was written by Goedel himself. We present all the basic ideas that are necessary to understand what the theorem asserts and what it would take to write a proof.  


Levels:  Research 
Languages:  English 
Resource Types:  Publications 
Math Topics:  Logic/Foundations 
[Privacy Policy] [Terms of Use]
© 1994 The Math Forum at NCTM. All rights reserved.
http://mathforum.org/