We write for the cardinality of the set of finite sequences of a set which is of cardinality. With the Axiom of Choice (), for every infinite cardinal where is the cardinality of the permutations on a set which is of cardinality. In this paper, we show that “ for every cardinal ” is provable in and this is the best possible result in the absence of. Similar results are also obtained for : the cardinality of the set of finite (...) sequences without repetition of a set which is of cardinality. (shrink)

In the Zermelo–Fraenkel set theory (ZF), |$|\textrm {fin}(A)|<2^{|A|}\leq |\textrm {Part}(A)|$| for any infinite set |$A$|⁠, where |$\textrm {fin}(A)$| is the set of finite subsets of |$A$|⁠, |$2^{|A|}$| is the cardinality of the power set of |$A$| and |$\textrm {Part}(A)$| is the set of partitions of |$A$|⁠. In this paper, we show in ZF that |$|\textrm {fin}(A)|<|\textrm {Part}_{\textrm {fin}}(A)|$| for any set |$A$| with |$|A|\geq 5$|⁠, where |$\textrm {Part}_{\textrm {fin}}(A)$| is the set of partitions of |$A$| whose members are finite. We (...) also show that, without the Axiom of Choice, any relationship between |$|\textrm {Part}_{\textrm {fin}}(A)|$| and |$2^{|A|}$| for an arbitrary infinite set |$A$| cannot be concluded. (shrink)

The factorial of a cardinal, denoted by, is the cardinality of the set of all permutations of a set which is of cardinality. We give a condition that makes the cardinal equality provable without the axiom of choice. In fact, we prove in that, for all cardinals, if and there is a permutation without fixed points on a set which is of cardinality, then.