  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.
