formalized mathematical activity. It is in this discipline that most historically famous