What about the textbook general version of the Gödel incompleteness theorem: if $T$ is recursively axiomatized, sufficiently strong, and $\omega$-consistent, it is incomplete  (where sufficient strength means representing every recursive function)?