 As was discovered by Russell, any theory that contains the Comprehension Schema is inconsistent. For putting ‘\(y \not\in y\)’ for \(A\) in the Comprehension Schema and instantiating the existential quantifier to an arbitrary such object ‘\(r\)’ gives: