A fundamental result in mathematics stating that, in a given mathematical structure, some propositions cannot be proved to be true or false, i.e. the propositions are undecidable, using only the axioms of that mathematical structure. The theorem was proved by the Austrian mathematician Kurt Gödel (1906–78) in 1931. The relevance of this result to fundamental physics has been extensively debated.