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