AC和Zorn‘s Lemma的另外一个证明

今天花了几个小时时间读了很爽的证明，就是关于AC和Zorn's Lemma的。先贴一下地址吧。

On the Bourbaki’s fixed point theorem and the axiom of choicehttps://arxiv.org/pdf/1905.09782.pdf当然了，这个文章写的有点糙，好多定义没有给（大汗），但是这个证明是非常优美的。个人认为，如果是想要真的做数学的，第一个就可以尝试着找到AC和Zorn's Lemma定价性的各种其他证明。原因很简单，这里面没有什么特别复杂的定义。具体来说，这东西不像黎曼几何，等到定义了Curvature几百页都过去了，基本定义也就几页。但是证明十分困难，而且没有特别多套路可循（当然一般的套路是有的，比如说Good Set Principle）。

我再理解理解争取做一个讲义放网上去。