Commentary by Chris Pressey

This work is distributed under a CC-BY-ND-4.0 license, with the following explicit exception: the ratings may be freely used for any purpose with no limitations.

Incompleteness

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

• rating: TODO

.

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

• rating: TODO

.

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

• rating: TODO

.

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

• rating: 1

.

Finite versions of Godel\' s incompleteness - MathOverflow

• rating: 1

.

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

• rating: 1

.

GOEDEL MACHINE SUMMARY

• rating: 1

.

Burali-Forti paradox - Wikipedia, the free encyclopedia

• rating: 1

.