I don't think this was intended to be a mathematically precise statement of the theorem. Rather, it's a decent introduction to the general concept behind Goede

I don't think this was intended to be a mathematically precise statement of the theorem. Rather, it's a decent introduction to the general concept behind Goedel's incompleteness theorem.