Independence
Foundations and logic
A statement is independent of an axiom system when neither it nor its negation can be proved from those axioms.
What is usually left out
Independence is a positive result, not a failure. Showing a statement independent requires constructing models of the axioms in which it holds and models in which it fails — which is how Cohen settled the continuum hypothesis in 1963, and why that problem is closed rather than open.