Gödel's Incompleteness Theorem. Primitive Recursion.

The real heart of the theorem is primitive recursion and how it can be used to guarantee that Godel sentence exists in the first place. But for some reason so many channels just focus on the Godel encoding.