(It is not an observation of any interest that a theory of arithmetic cannot prove that horses are four-legged.)

The incompleteness theorem does not imply that every consistent formal system is incomplete. On the contrary, there are many complete and consistent formal systems.