Unprovability

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The status of a formal sentence relative to a given axiom system when neither the sentence nor its negation can be derived from that system; commonly described as independence from the axioms or unprovability within the chosen theory.