An Outline of the Proof of Gödel's Incompleteness Theorem
Library Home || Full Table of Contents || Suggest a Link || Library Help
|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.|
The Math Forum is a research and educational enterprise of the Drexel University School of Education.