Hilbert's first problem

Target entity: Hilbert's first problem
Context triple: [continuum hypothesis, positionInHilbertProblems, Hilbert's first problem]

• A. Hilbert’s second problem
  Hilbert’s second problem is one of David Hilbert’s famous list of 23 problems, asking for a proof of the consistency of arithmetic from a finite set of axioms using finitary methods.
• B. Hilbert problems
  The Hilbert problems are a famous list of 23 unsolved mathematical problems presented by David Hilbert in 1900 that profoundly influenced the development of 20th-century mathematics.
• C. Hilbert’s twenty-third problem
  Hilbert’s twenty-third problem is one of David Hilbert’s famous list of unsolved problems, focusing on the further development and systematic application of the calculus of variations.
• D. Hilbert’s twenty-second problem
  Hilbert’s twenty-second problem is one of David Hilbert’s famous list of 23 problems, concerning the uniformization of analytic relations and the representation of multi-valued analytic functions by single-valued ones on suitable Riemann surfaces.
• E. Hilbert’s program
  Hilbert’s program was an influential early-20th-century initiative in the foundations of mathematics that sought to formalize all of mathematics and prove its consistency using finitistic methods.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Hilbert's first problem
Target entity description: Hilbert's first problem is one of David Hilbert’s famous list of 23 problems, asking whether there exists a set whose size is strictly between that of the integers and the real numbers, i.e., the status of the continuum hypothesis.

• A. Hilbert’s second problem
  Hilbert’s second problem is one of David Hilbert’s famous list of 23 problems, asking for a proof of the consistency of arithmetic from a finite set of axioms using finitary methods.
• B. Hilbert problems
  The Hilbert problems are a famous list of 23 unsolved mathematical problems presented by David Hilbert in 1900 that profoundly influenced the development of 20th-century mathematics.
• C. Hilbert’s twenty-third problem
  Hilbert’s twenty-third problem is one of David Hilbert’s famous list of unsolved problems, focusing on the further development and systematic application of the calculus of variations.
• D. Hilbert’s twenty-second problem
  Hilbert’s twenty-second problem is one of David Hilbert’s famous list of 23 problems, concerning the uniformization of analytic relations and the representation of multi-valued analytic functions by single-valued ones on suitable Riemann surfaces.
• E. Hilbert’s program
  Hilbert’s program was an influential early-20th-century initiative in the foundations of mathematics that sought to formalize all of mathematics and prove its consistency using finitistic methods.
• F. None of above. chosen