Incompleteness
Web resources
What axioms are used to prove Gödel's Incompleteness Theorems? ★
Finite versions of Godel\' s incompleteness ★
Can this provide an example of incompleteness under the assumption of mere consistency? ★
Burali-Forti paradox - Wikipedia, the free encyclopedia
(in FoM) Are there first-order statements that second order PA proves that first order PA does not? ★
(in Theorem Proving) Do theorems provers demonstrate their own correctness? ★★★
Papers
A Simple Character String Proof of the \"True but Unprovable\" Version of Goedel\'s First Incompleteness Theorem (online @ arxiv.org)
A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points (online @ arxiv.org)
Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles (online @ jstor)
(in Recreational Mathematics) Fusible numbers and Peano Arithmetic ★