[Chinjut]

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)