We present a generalization of the algebra-valued models of \ where the axioms of set theory are not necessarily mapped to the top element of an algebra, but may get intermediate values, in a set of designated values. Under this generalization there are many algebras which are neither Boolean, nor Heyting, but that still validate \.

In this paper, we argue for an instrumental form of existence, inspired by Hilbert’s method of ideal elements. As a case study, we consider the existence of contradictory objects in models of non-classical set theories. Based on this discussion, we argue for a very liberal notion of existence in mathematics.