It doesn't talk about Gödel numbering, which is the real ingenuity behind the proof, and it doesn't talk about omega-inconsistency.

You don't need omega-consistency, just consistency. Gödel originally proved it for omega-consistent theories, but five years later Rosser published a rather pleasing little trick that strengthens the result to just consistent theories.