您即将离开知乎，请注意您的账号和财产安全。
http://math.andrej.com/2016/10/10/five-stages-of-accepting-constructive-mathematics/
