Incompleteness

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

• url: https://mathoverflow.net/questions/118183/what-axioms-are-used-to-prove-g%C3%B6dels-incompleteness-theorems

.

Finite versions of Godel\' s incompleteness - MathOverflow

• url: http://mathoverflow.net/questions/100898/finite-versions-of-godel-s-incompleteness

.

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

• url: https://mathoverflow.net/questions/451242/can-this-provide-an-example-of-incompleteness-under-the-assumption-of-mere-consi

.

GOEDEL MACHINE SUMMARY

• url: https://people.idsia.ch/~juergen/gmsummary.html

.

Burali-Forti paradox - Wikipedia, the free encyclopedia

• url: https://en.wikipedia.org/wiki/Burali-Forti_paradox

.