Correction: Gödel's incompleteness theorem Proof with Omega

Correction: Gödel's incompleteness theorem Proof with Omega