Definition:Undecidable Statement

Definition

An undecidable statement is a statement which, in the context of a given deductive apparatus, cannot be assigned a definitive truth value.

Also see

• Gödel's First Incompleteness Theorem

Sources

• 1972: A.G. Howson: A Handbook of Terms used in Algebra and Analysis ... (previous) ... (next): $\S 1$: Some mathematical language: Axioms