What Is Mathematics and What Could It?