Independence (mathematical logic) facts for kids
In mathematical logic, a sentence is independent from a first-order theory, if that theory cannot be used to prove the sentence as true or false. Sometimes, people also talk about the sentence being "undecidable", but this has nothing to do with the notion of decidability as in solving a decison problem.
See also
In Spanish: Independencia (lógica matemática) para niños
All content from Kiddle encyclopedia articles (including the article images and facts) can be freely used under Attribution-ShareAlike license, unless stated otherwise. Cite this article:
Independence (mathematical logic) Facts for Kids. Kiddle Encyclopedia.