Display title | Independence (mathematical logic) |
Default sort key | Independence (mathematical logic) |
Page length (in bytes) | 4,822 |
Namespace ID | 0 |
Page ID | 334531 |
Page content language | en - English |
Page content model | wikitext |
Indexing by robots | Allowed |
Number of redirects to this page | 0 |
Counted as a content page | Yes |
Page image |  |
HandWiki item ID | None |
Edit | Allow all users (infinite) |
Move | Allow all users (infinite) |
Page creator | imported>Wincert |
Date of page creation | 21:12, 6 February 2024 |
Latest editor | imported>Wincert |
Date of latest edit | 21:12, 6 February 2024 |
Total number of edits | 1 |
Recent number of edits (within past 90 days) | 0 |
Recent number of distinct authors | 0 |
Description | Content |
Article description: (description ) This attribute controls the content of the description and og:description elements. | In mathematical logic, independence is the unprovability of a sentence from other sentences.
A sentence σ is 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. Sometimes... |