加载中…
We write and for the set of permutations with at most non-fixed points, where is a natural number, and the set of partitions whose members are finite, respectively, of a set . Among our results, we show, in the Zermelo-Fraenkel set theory, that for any infinite set and if can be linearly ordered, then while the statement `` for all infinite sets " is not provable for .

生成讲解博客的中文版本

生成AI智能校验的中文版本