Unbeweisbarkeit

Der Status eines formalen Satzes gegenüber einem gegebenen Axiomensystem, wenn weder der Satz noch seine Negation aus diesem System ableitbar sind; üblicherweise als Unabhängigkeit von den Axiomen oder Unbeweisbarkeit innerhalb der gewählten Theorie bezeichnet.