Encyclopedia > I > Independence (mathematical logic)
Independence (mathematical logic)
In mathematical logic, a sentence Ď is called independent of a given first-order theory T if T neither proves nor refutes Ď; that is, it is impossible to prove Ď from T, and it is also impossible to prove from T that Ď is false.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)