集合的成员有限的划分以及具有至多 $n$ 个非不动点的排列
逻辑
2023-12-05 v1
摘要
我们将 和 分别记为集合 上至多有 个非不动点的排列集合（其中 为自然数）和成员有限的划分集合。在我们的结果中，我们在 Zermelo-Fraenkel 集合论中证明了，对于任何无限集合 ，，并且如果 可以被线性排序，则 ，而对于 ，命题“对于所有无限集合 ，”是不可证明的。
关键词
引用
@article{arxiv.2312.01349,
title = {The partitions whose members are finite and the permutations with at most $n$ non-fixed points of a set},
author = {Nattapon Sonpanow and Pimpen Vejjajiva},
journal= {arXiv preprint arXiv:2312.01349},
year = {2023}
}