Independence (mathematical logic)

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.

Independence (mathematical Logic) Media

• 

  The parallels axiom (P) is independent of the remaining geometry axioms (R): there are models (1) that satisfy R and P, but also models (2,3) that satisfy R, but not P.