I am studying the proof of Gödel's first Incompleteness theorem at the moment and I don't understand the differences between self-referencing, diagonalization and fixed point related to Gödel's proof.
In my opinion, they all mean taking the Gödel number of a formula as an argument into the formula itself.
Can someone please explain me the differences?
Thanks in advance.