4 ms·
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
by x3n0ph3n3 4y ago
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.