23 (in Hilbert's list)

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf Hilbert problem
gptkbp:describes The problem asks for a proof of the consistency of arithmetic.
https://www.w3.org/2000/01/rdf-schema#label 23 (in Hilbert's list)
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 5