Abstract
Besides the classical proof, Godel First Incompleteness Theorem also has a proof which does not use self-reference and which we propose to call structural. We review a classical proof and discuss a version of a structural one.
Besides the classical proof, Godel First Incompleteness Theorem also has a proof which does not use self-reference and which we propose to call structural. We review a classical proof and discuss a version of a structural one.