For the proof of Gödel's Incompleteness Theorem, most versions of proof use basically self-referential statements.
My question is, what if one argues that Gödel's Incompleteness Theorem only matters when a formula makes self-reference possible?
Is there any proof of Incompleteness Theorem that does not rely on self-referential statements?