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.
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.