论文标题
排列下的不变性作为分层的语义动机
Invariance under permutations as a semantic motivation for Stratification
论文作者
论文摘要
本文探讨了在阶级和集合理论的环境中不同类型的排列中不变性的概念，这是Quine新基金会“ NF”的语义动机。该方法在很大程度上取决于解释NF的有限公理化，从对排列的最小限制开始，然后逐渐升级这些限制，以便能够解释NF。绘制了与早期作品的比较。
This article examines the notion of invariance under different kinds of permutations in a milieu of a theory of classes and sets, as a semantic motivation for Quine's new foundations "NF". The approach largely depends on interpreting a finite axiomatization of NF beginning from the least restrictions on permutations and then gradually upgrading those restrictions as to enable interpreting NF. Comparisons with earlier works are drawn.
