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