Undecidable

Not Decidable as a result of being neither formally provable nor unprovable.

See also Gödel's Incompleteness Theorem, Richardson's Theorem