Gödel's incompleteness theorems
This page lists the items of the Wikipedia article Gödel's incompleteness theorems in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1370133089, with the assessment B/Top.
| Outcome | Items |
|---|---|
| deferred | 6 |
| attached | 3 |
The gap signals of the article are S1,S2,S4,S5,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | statement | Gödel's incompleteness theorems | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #12GV | statement | Second incompleteness theorem | deferred until 2027-05-01 | the item has the name of the subject of its article, and a person decides if they are one item | |
| #4FOG | statement | First incompleteness theorem | deferred until 2027-05-01 | the item has the name of the subject of its article, and a person decides if they are one item | |
| #5P15 | proof | Proof sketch for the first theorem | attached | ||
| #B2A6 | unknown | Arithmetization of syntax | deferred until 2027-05-01 | the kind of the item is unknown | |
| #CETB | proof | Proof via Berry's paradox | attached | ||
| #FHOT | statement | Relationship with the liar paradox | deferred until 2027-05-01 | the heading names a part of the text and not one item | |
| #IK7Z | proof | Proof sketch for the second theorem | attached | ||
| #NWRN | statement | Appeals to the incompleteness theorems in other fields | deferred until 2027-05-01 | the heading names a step or a part of the text and not one item |
Refer to Wikipedia articles and their nodes for the other articles.