nuncanada Gödels incompleteness theorem does not show that certain traditional theories are not able to handle arithmetics. It states that all formal systems which can handle arithmetics are incomplete. Formulated differently: All systems which are complete are boring because they can't even handle arithmetics. So incompletness is a feature and not a bug.