Pure mathematics, according to a view that can be ascribed to the Bourbaki group, is what is proved.
Toán học thuần túy, theo quan điểm có thể được cho là của nhóm Bourbaki, là điều được chứng minh.