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: Grundlagen der Mathematik | Statement: [Paul Bernays, coAuthored, Grundlagen der Mathematik]

Target entity: Grundlagen der Mathematik
Context triple: [Paul Bernays, coAuthored, Grundlagen der Mathematik]

• A. The Foundations of Mathematics
  The Foundations of Mathematics is a posthumously published collection of F. P. Ramsey’s influential papers on logic, philosophy of mathematics, and the foundations of knowledge.
• B. Die Grundlagen der Arithmetik
  Die Grundlagen der Arithmetik is Gottlob Frege’s seminal philosophical work that lays the logical foundations of arithmetic and advances the logicist thesis that arithmetic is reducible to pure logic.
• C. Principles of Mathematics
  Principles of Mathematics is Bertrand Russell’s foundational work in mathematical logic and the philosophy of mathematics, arguing that mathematics can be derived from purely logical principles.
• D. Einleitung in die Mengenlehre
  Einleitung in die Mengenlehre is a foundational textbook on set theory authored by mathematician Abraham Fraenkel, which helped shape the modern axiomatic treatment of sets.
• E. 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.
• 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: Grundlagen der Mathematik
Triple: [Paul Bernays, coAuthored, Grundlagen der Mathematik]

Grundlagen der Mathematik is a foundational two-volume work in mathematical logic and the philosophy of mathematics, co-authored by David Hilbert and Paul Bernays, that systematically develops proof theory and formalizes large parts of mathematics.

Target entity: Grundlagen der Mathematik
Target entity description: Grundlagen der Mathematik is a foundational two-volume work in mathematical logic and the philosophy of mathematics, co-authored by David Hilbert and Paul Bernays, that systematically develops proof theory and formalizes large parts of mathematics.

• A. The Foundations of Mathematics
  The Foundations of Mathematics is a posthumously published collection of F. P. Ramsey’s influential papers on logic, philosophy of mathematics, and the foundations of knowledge.
• B. Die Grundlagen der Arithmetik
  Die Grundlagen der Arithmetik is Gottlob Frege’s seminal philosophical work that lays the logical foundations of arithmetic and advances the logicist thesis that arithmetic is reducible to pure logic.
• C. Principles of Mathematics
  Principles of Mathematics is Bertrand Russell’s foundational work in mathematical logic and the philosophy of mathematics, arguing that mathematics can be derived from purely logical principles.
• D. Einleitung in die Mengenlehre
  Einleitung in die Mengenlehre is a foundational textbook on set theory authored by mathematician Abraham Fraenkel, which helped shape the modern axiomatic treatment of sets.
• E. 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.
• F. None of above. chosen