Nội dung này: The nature of properly human mathematics