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