A choice-free cardinal equality

Guozhen Shen

For a cardinal $\mathfrak{a}$, let $\mathrm{fin}(\mathfrak{a})$ be the cardinality of the set of all finite subsets of a set which is of cardinality $\mathfrak{a}$. It is proved wi…