Pure mathematics, according to a view that can be ascribed to the Bourbaki group, is what is proved.
Matematika murni, menurut pandangan yang dapat dinisbahkan kepada kelompok Bourbaki adalah apa yang telah dibuktikan.