加载中…
2015-06-10
Nielsen-Schreier implies the finite Axiom of Choice
Philipp Kleppmann
文献摘要
We present a new proof that the statement ‘every subgroup of a free group is free’ implies the Axiom of Choice for finite sets.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本