Is it possible to prove Gödel’s 1st Incompleteness theorem without the use of self referential statements

38 Views Asked by At

Is it possible to prove Gödel’s 1st Incompleteness theorem without the use of self referential statements?

I have searched for various proofs of the first incompleteness theorem and all of them use some sort of self-reference or the other(usually indirectly however). Is this the only way to prove it?