Hacker News Reader

That’s where Gödel’s theorem comes in. There’s always axioms unprovable without expanding the system

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