Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Hilbert's axioms | Statement: [Grundlagen der Geometrie, relatedConcept, Hilbert's axioms]

Target entity: Hilbert's axioms
Context triple: [Grundlagen der Geometrie, relatedConcept, Hilbert's axioms]

• A. Grundlagen der Geometrie
  Grundlagen der Geometrie is David Hilbert’s foundational 1899 treatise that rigorously axiomatizes Euclidean geometry and helped shape modern mathematical logic and the axiomatic method.
• B. Über die Hypothesen, welche der Geometrie zu Grunde liegen
  "Über die Hypothesen, welche der Geometrie zu Grunde liegen" is Bernhard Riemann’s seminal 1854 lecture that founded Riemannian geometry and revolutionized the understanding of space in mathematics and physics.
• C. Commentary on the Difficulties of Certain Postulates of Euclid
  Commentary on the Difficulties of Certain Postulates of Euclid is a mathematical treatise by Omar Khayyam in which he critically examines and attempts to resolve issues in Euclid’s postulates, especially the parallel postulate, laying early groundwork for later developments in geometry.
• D. Erlangen Program
  The Erlangen Program is Felix Klein’s influential 1872 framework that classifies and studies geometries based on their underlying symmetry groups and transformation properties.
• 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.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Hilbert's axioms
Triple: [Grundlagen der Geometrie, relatedConcept, Hilbert's axioms]

Hilbert's axioms are a rigorous, logically structured set of foundational principles for Euclidean geometry introduced by David Hilbert to clarify and formalize the subject’s basic assumptions.

Target entity: Hilbert's axioms
Target entity description: Hilbert's axioms are a rigorous, logically structured set of foundational principles for Euclidean geometry introduced by David Hilbert to clarify and formalize the subject’s basic assumptions.

• A. Grundlagen der Geometrie chosen
  Grundlagen der Geometrie is David Hilbert’s foundational 1899 treatise that rigorously axiomatizes Euclidean geometry and helped shape modern mathematical logic and the axiomatic method.
• B. Über die Hypothesen, welche der Geometrie zu Grunde liegen
  "Über die Hypothesen, welche der Geometrie zu Grunde liegen" is Bernhard Riemann’s seminal 1854 lecture that founded Riemannian geometry and revolutionized the understanding of space in mathematics and physics.
• C. Commentary on the Difficulties of Certain Postulates of Euclid
  Commentary on the Difficulties of Certain Postulates of Euclid is a mathematical treatise by Omar Khayyam in which he critically examines and attempts to resolve issues in Euclid’s postulates, especially the parallel postulate, laying early groundwork for later developments in geometry.
• D. Erlangen Program
  The Erlangen Program is Felix Klein’s influential 1872 framework that classifies and studies geometries based on their underlying symmetry groups and transformation properties.
• 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.