Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Hilbert_problem
|
| gptkbp:describes |
The problem asks for a proof of the consistency of arithmetic.
|
| gptkbp:notableAchievement |
Gödel showed that consistency cannot be proved within arithmetic itself if it is consistent.
|
| gptkbp:number |
23
|
| gptkbp:proposedBy |
gptkb:David_Hilbert
|
| gptkbp:relatedTo |
gptkb:Gödel's_incompleteness_theorems
gptkb:logic gptkb:Peano_arithmetic consistency |
| gptkbp:status |
partially resolved
|
| gptkbp:title |
Consistency of arithmetic
|
| gptkbp:yearProposed |
1900
|
| gptkbp:bfsParent |
gptkb:Fermat's_Last_Theorem
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
23 (in Hilbert's list)
|