Because as soon as you have a system that includes that new axiom, _new_ true statements can be created that are not provable. It's true for every formal system with any finite number of axioms.