A few years ago I was reading an entry in the Stanford Encyclopedia of Philosophy related to set theory and I stumbled across a statement along these lines:
There is a set theory where full comprehension is allowed, and this set theory tolerates a degree of contradiction.
I am trying to find this SEP entry now to find out what this set theory is called. Neither Google nor SEP itself (even with its own special search engine) has yielded any results.
Does anybody know what that set theory in the SEP article was (or might have been)? The theory referred to was an axiomatic system like ZFC or NFU, not naive set theory (which matches the description).