An axiomatization of `very' within systems of set theory (Q1810816)

The author intends to give an axiomatization of fuzzy set theory as an extension \(\text{ZF}_v\) of standard \text{ZF} set theory by introducing a unary ``very''-operator \(v\) which assigns to each set \(x\) another one \(v(x)\subseteq x\). His main point is to treat fuzzy sets in a qualitative way as non-crisp objects of a cumulative universe \(V_v\) of \(\text{ZF}_v\). And the crisp objects are those ones which satisfy \(v(x)=x\). Of course, the operator \(v\) has to satisfy some rather natural conditions, e.g. a \textit{lifting axiom} which says that a singleton of a crisp set is again crisp. But {ZF} together with all these conditions trivializes the approach, i.e. forces \(v\) to be the identity. So he discusses a weakened lifting condition as well as the deletion of the axiom of foundation. For technival reasons, however, he considers an extension \(\text{KM}^-_v\) of the system \(\text{KM}^-\) of Kelley-Morse (without foundation) because he has to allow quantification over proper classes. Besides properties of the \(v\)-operator, it is particularly shown that the hereditarily crisp sets form a model of \(\text{ZF}^-\). And finally the author tries to extract from his approach the usual fuzzy sets, but succeeds only in a limited sense: he can only reasonably introduce membership degrees of the very specific form \(\frac{n}{n+1}\) for \(n\in\mathbb{N}\).