<s>[INST] <<SYS>>
You are a helpful, respectful and honest assistant. Always answer as helpfully as possible, while being safe.  Your answers should not include any harmful, unethical, racist, sexist, toxic, dangerous, or illegal content. Please ensure that your responses are socially unbiased and positive in nature.
If a question does not make any sense, or is not factually coherent, explain why instead of answering something not correct. If you don't know the answer to a question, please don't share false information.
<</SYS>>

Extract from the following context the minimal span word for word that best answers the question. Think step by step and explain your reasoning. Then give the answer in JSON format as follows:
```json
{
  "answer": ...
}
```
If the answer is not in the context, the answer should be "?".
Question: ما هي نتيجة استنتاج غودل بشأن مبادئ الرياضيات؟
Context: الإرث الموضوعي النهائي ل Principia Mathematica مختلط . من المقبول عموما أن نظرية عدم الاكتمال لكورت غودل لعام 1931 أثبتت بشكل قاطع أنه بالنسبة لأي مجموعة من البديهيات وقواعد الاستدلال المقترحة لتغليف الرياضيات ، سيكون هناك في الواقع بعض حقائق الرياضيات التي لا يمكن استنتاجها منها ، وبالتالي فإن مبادئ الرياضيات لا يمكنها أبدا تحقيق أهدافها . ومع ذلك ، لم يكن بإمكان غودل التوصل إلى هذا الاستنتاج بدون كتاب وايتهيد وراسل . وبهذه الطريقة ، يمكن وصف إرث برينسيبيا ماثيماتيكا بأنه دورها الرئيسي في دحض إمكانية تحقيق أهدافها المعلنة . ولكن بعيدا عن هذا الإرث المثير للسخرية إلى حد ما ، قام الكتاب بتعميم المنطق الرياضي الحديث ورسم روابط مهمة بين المنطق ونظرية المعرفة والميتافيزيقيا . [/INST] ```json
{<answer_start>
  "answer": "بشكل قاطع أثبتت نظرية عدم الاكتمال لكورت غودل لعام 1931 أنه بالنسبة لأي مجموعة من البديهيات وقواعد الاستدلال المقترحة لتغليف الرياضيات، سيكون هناك في الواقع بعض حقائق الرياضيات التي لا يمكن استنتاجها منها، وبالتالي فإن مبادئ الرياضيات لا يمكنها أبدا تحقيق أهدافها."
  <answer_end>
}
``` </s>
الإرث الموضوعي النهائي ل Principia Mathematica مختلط . من المقبول عموما أن نظرية عدم الاكتمال لكورت غودل لعام 1931 أثبتت بشكل قاطع أنه بالنسبة لأي مجموعة من البديهيات وقواعد الاستدلال المقترحة لتغليف الرياضيات ، سيكون هناك في الواقع بعض حقائق الرياضيات التي لا يمكن استنتاجها منها ، وبالتالي فإن مبادئ الرياضيات لا يمكنها أبدا تحقيق أهدافها . ومع ذلك ، لم يكن بإمكان غودل التوصل إلى هذا الاستنتاج بدون كتاب وايتهيد وراسل . وبهذه الطريقة ، يمكن وصف إرث برينسيبيا ماثيماتيكا بأنه دورها الرئيسي في دحض إمكانية تحقيق أهدافها المعلنة . ولكن بعيدا عن هذا الإرث المثير للسخرية إلى حد ما ، قام الكتاب بتعميم المنطق الرياضي الحديث ورسم روابط مهمة بين المنطق ونظرية المعرفة والميتافيزيقيا .
ما هي نتيجة استنتاج غودل بشأن مبادئ الرياضيات؟
{'text': ['بشكل قاطع أثبتت نظرية عدم الاكتمال لكورت غودل لعام 1931 أنه بالنسبة لأي مجموعة من البديهيات وقواعد الاستدلال المقترحة لتغليف الرياضيات، سيكون هناك في الواقع بعض حقائق الرياضيات التي لا يمكن استنتاجها منها، وبالتالي فإن مبادئ الرياضيات لا يمكنها أبدا تحقيق أهدافها.']}