用户讨论: 数学迷/从 Hindman 定理谈起

关于此版块

不可编辑

能证明证明 Hindman 定理的过程中至少要用到两次选择公理 (Zorn 引理) 吗

2
Yfb222333 (讨论贡献)

rt

数学迷 (讨论贡献)

实际上有不用的证明

没有更早的话题