<human>: Q: What is the general consensus of the axioms and inference rules declared in Principia Mathematica?
 A: The ultimate substantive legacy of Principia Mathematica is mixed.
 Does the answer correctly answer the question

OPTIONS:
- yes
- no
<bot>: yes