اشير الى المقطع الاخير و اجيب على السؤال بعد ذلك بنفس اللغة: المقطع: في الواقع في إطار أكسيوماتيكي الصارم لا يضيف أي شيء إلى فكرة الإثبات. الرياضيات النقية، وفقا لرؤية يمكن أن تعزى إلى مجموعة بورباكي، هي ما هو مثبت. الرياضيات النقية أصبحت مهنة معترف بها، يمكن تحقيقها من خلال التدريب. السؤال: هل هناك إثبات مضاف؟
ما يضيف شي لفكرة الادله