Commentary by cpressey on Incompleteness works

A Simple Character String Proof of the \"True but Unprovable\" Version of Goedel\'s First Incompleteness Theorem

.

A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

.

Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles

.

lo.logic - What axioms are used to prove Gödel's Incompleteness Theorems? - MathOverflow

.

Finite versions of Godel\' s incompleteness - MathOverflow

.

lo.logic - Can this provide an example of incompleteness under the assumption of mere consistency? - MathOverflow

.

GOEDEL MACHINE SUMMARY

.

Burali-Forti paradox - Wikipedia, the free encyclopedia

.