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: [Euclidean geometry, formalizedBy, Hilbert's axioms]

Target entity: Hilbert's axioms
Context triple: [Euclidean geometry, formalizedBy, Hilbert's axioms]

• A. Euclid's postulates
  Euclid's postulates are the foundational axioms of classical Euclidean geometry, defining basic properties of points, lines, and planes from which the rest of the geometry is logically derived.
• B. The Foundations of Geometry
  The Foundations of Geometry is a seminal mathematical text by Oswald Veblen that rigorously develops the axiomatic basis of geometry in a modern, logical framework.
• C. Playfair's axiom
  Playfair's axiom is a reformulation of Euclid’s parallel postulate stating that through a point not on a given line there is exactly one line parallel to the given line, fundamental to Euclidean geometry.
• D. Veblen axioms for projective geometry
  The Veblen axioms for projective geometry are a foundational set of incidence-based axioms introduced by Oswald Veblen to rigorously formalize the structure of projective spaces.
• E. Tarski’s theorem on the completeness of elementary algebra and geometry
  Tarski’s theorem on the completeness of elementary algebra and geometry is a foundational result in mathematical logic showing that the first-order theory of real closed fields (capturing elementary algebra and Euclidean geometry) is complete, decidable, and admits quantifier elimination.
• 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: [Euclidean geometry, formalizedBy, Hilbert's axioms]

Hilbert's axioms are a rigorous, foundational set of logical assumptions introduced by David Hilbert to provide a complete and consistent basis for Euclidean geometry.

Target entity: Hilbert's axioms
Target entity description: Hilbert's axioms are a rigorous, foundational set of logical assumptions introduced by David Hilbert to provide a complete and consistent basis for Euclidean geometry.

• A. Euclid's postulates
  Euclid's postulates are the foundational axioms of classical Euclidean geometry, defining basic properties of points, lines, and planes from which the rest of the geometry is logically derived.
• B. The Foundations of Geometry
  The Foundations of Geometry is a seminal mathematical text by Oswald Veblen that rigorously develops the axiomatic basis of geometry in a modern, logical framework.
• C. Playfair's axiom
  Playfair's axiom is a reformulation of Euclid’s parallel postulate stating that through a point not on a given line there is exactly one line parallel to the given line, fundamental to Euclidean geometry.
• D. Veblen axioms for projective geometry
  The Veblen axioms for projective geometry are a foundational set of incidence-based axioms introduced by Oswald Veblen to rigorously formalize the structure of projective spaces.
• E. Tarski’s theorem on the completeness of elementary algebra and geometry
  Tarski’s theorem on the completeness of elementary algebra and geometry is a foundational result in mathematical logic showing that the first-order theory of real closed fields (capturing elementary algebra and Euclidean geometry) is complete, decidable, and admits quantifier elimination.
• F. None of above. chosen