Properties (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical problem
|
| gptkbp:aimsTo |
the consistency of arithmetic
|
| gptkbp:designedBy |
gptkb:David_Hilbert
|
| gptkbp:has_implications_for |
foundations of mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's first problem
|
| gptkbp:involves |
formal systems
|
| gptkbp:is_essential_for |
mathematical logic
|
| gptkbp:is_part_of |
gptkb:Hilbert's_problems
|
| gptkbp:issues |
the completeness of arithmetic
|
| gptkbp:presentedBy |
1900
|
| gptkbp:related_to |
gptkb:Gödel's_incompleteness_theorems
|