不是的.代数封闭域的存在性依赖于Zorn引理, 我们总是承认Zorn引理就行了.
有了代数封闭域就好办了.

【 在 tensorvector 的大作中提到: 】
: 但我看书里面的逻辑，先是假设了它存在，然后才推导出生成元。
:
--
FROM 218.199.207.*