不用可数选择公理如果证明分析中的紧致性定理

$\mathbb{R}$中的有界序列$\left(a_n|n\in \mathbb{N}\right)$都至少包含一个收敛的子列
该定理如何给出不依赖于$AC_\omega$的证明?
已邀请:

要回复问题请先登录注册