Presumably, the reference is to Goedel's second incompleteness theorem, rather than the first incompleteness theorem. (One might still quibble with phrasing it

Presumably, the reference is to Goedel's second incompleteness theorem, rather than the first incompleteness theorem. (One might still quibble with phrasing it in this way, of course)