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