[wurp]

Goedel's completeness and incompleteness only apply if the initial set of axioms is powerful enough to express addition over all the integers.