Pure mathematics, according to a view that can be ascribed to the Bourbaki group, is what is proved.
الرياضيات البحتة، وفقا لرأي مفاده أن ويمكن إرجاع ذلك إلى مجموعة بورباكي، هو ما ثبت.