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: Peano school of logic | Statement: [Formulario Mathematico, associatedWith, Peano school of logic]

Target entity: Peano school of logic
Context triple: [Formulario Mathematico, associatedWith, Peano school of logic]

• A. Tarski school of logic
  Tarski school of logic is a scholarly work on mathematical logic and the legacy of Alfred Tarski, reflecting the contributions and perspectives of his students and followers in the development of modern logic and model theory.
• B. Russellian logic
  Russellian logic is the formal logical framework developed by Bertrand Russell, emphasizing precise analysis of language, types, and logical form to avoid paradoxes and clarify philosophical problems.
• C. 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.
• D. Leibnizian logic
  Leibnizian logic is the rationalist, formal approach to logic and calculation developed by Gottfried Wilhelm Leibniz, emphasizing symbolic representation, logical calculus, and the reduction of mathematical and philosophical reasoning to precise logical principles.
• E. Bourbaki school of mathematics
  The Bourbaki school of mathematics is a collective pseudonymous group of mainly French mathematicians known for their rigorous, abstract, and axiomatic reformulation of modern mathematics through influential multi-volume treatises.
• 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: Peano school of logic
Triple: [Formulario Mathematico, associatedWith, Peano school of logic]

The Peano school of logic was an influential group of late 19th- and early 20th-century Italian mathematicians and logicians, led by Giuseppe Peano, that advanced symbolic logic, formal languages, and the foundations of mathematics.

Target entity: Peano school of logic
Target entity description: The Peano school of logic was an influential group of late 19th- and early 20th-century Italian mathematicians and logicians, led by Giuseppe Peano, that advanced symbolic logic, formal languages, and the foundations of mathematics.

• A. Tarski school of logic
  Tarski school of logic is a scholarly work on mathematical logic and the legacy of Alfred Tarski, reflecting the contributions and perspectives of his students and followers in the development of modern logic and model theory.
• B. Russellian logic
  Russellian logic is the formal logical framework developed by Bertrand Russell, emphasizing precise analysis of language, types, and logical form to avoid paradoxes and clarify philosophical problems.
• C. 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.
• D. Leibnizian logic
  Leibnizian logic is the rationalist, formal approach to logic and calculation developed by Gottfried Wilhelm Leibniz, emphasizing symbolic representation, logical calculus, and the reduction of mathematical and philosophical reasoning to precise logical principles.
• E. Bourbaki school of mathematics
  The Bourbaki school of mathematics is a collective pseudonymous group of mainly French mathematicians known for their rigorous, abstract, and axiomatic reformulation of modern mathematics through influential multi-volume treatises.
• F. None of above. chosen